diff options
Diffstat (limited to 'cpukit/Makefile.am')
| -rw-r--r-- | cpukit/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cpukit/Makefile.am b/cpukit/Makefile.am index 1d3935776b..1adcbb3ae9 100644 --- a/cpukit/Makefile.am +++ b/cpukit/Makefile.am @@ -1002,6 +1002,7 @@ librtemscpu_a_SOURCES += score/src/coretodhookunregister.c librtemscpu_a_SOURCES += score/src/watchdogremove.c librtemscpu_a_SOURCES += score/src/watchdogtick.c librtemscpu_a_SOURCES += score/src/watchdogtickssinceboot.c +librtemscpu_a_SOURCES += score/src/watchdogtimeslicedefault.c librtemscpu_a_SOURCES += score/src/userextaddset.c librtemscpu_a_SOURCES += score/src/userext.c librtemscpu_a_SOURCES += score/src/userextremoveset.c |