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 656c198a9b..79d95eabe3 100644 --- a/cpukit/score/Makefile.am +++ b/cpukit/score/Makefile.am @@ -52,6 +52,7 @@ include_rtems_score_HEADERS += include/rtems/score/timestamp64.h include_rtems_score_HEADERS += include/rtems/score/tod.h include_rtems_score_HEADERS += include/rtems/score/tqdata.h include_rtems_score_HEADERS += include/rtems/score/userext.h +include_rtems_score_HEADERS += include/rtems/score/userextimpl.h include_rtems_score_HEADERS += include/rtems/score/watchdog.h include_rtems_score_HEADERS += include/rtems/score/wkspace.h include_rtems_score_HEADERS += include/rtems/score/cpuopts.h |