diff options
Diffstat (limited to 'cpukit/score/Makefile.am')
-rw-r--r-- | cpukit/score/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cpukit/score/Makefile.am b/cpukit/score/Makefile.am index 8506f226c8..3d3f1c1532 100644 --- a/cpukit/score/Makefile.am +++ b/cpukit/score/Makefile.am @@ -61,6 +61,7 @@ include_rtems_score_HEADERS += include/rtems/score/priority.h include_rtems_score_HEADERS += include/rtems/score/prioritybitmap.h include_rtems_score_HEADERS += include/rtems/score/prioritybitmapimpl.h include_rtems_score_HEADERS += include/rtems/score/profiling.h +include_rtems_score_HEADERS += include/rtems/score/processormask.h include_rtems_score_HEADERS += include/rtems/score/rbtree.h include_rtems_score_HEADERS += include/rtems/score/rbtreeimpl.h include_rtems_score_HEADERS += include/rtems/score/resource.h |