diff options
Diffstat (limited to '')
| -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 6b2c1fb5b7..591065adf3 100644 --- a/cpukit/Makefile.am +++ b/cpukit/Makefile.am @@ -1006,6 +1006,7 @@ librtemscpu_a_SOURCES += score/src/timespecgetasnanoseconds.c librtemscpu_a_SOURCES += score/src/coretod.c librtemscpu_a_SOURCES += score/src/coretodset.c librtemscpu_a_SOURCES += score/src/coretodadjust.c +librtemscpu_a_SOURCES += score/src/coretodcheck.c librtemscpu_a_SOURCES += score/src/watchdoginsert.c librtemscpu_a_SOURCES += score/src/coretodhookdata.c librtemscpu_a_SOURCES += score/src/coretodhookregister.c |