diff options
| -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 78e33b683b..df970e5a1c 100644 --- a/cpukit/Makefile.am +++ b/cpukit/Makefile.am @@ -998,6 +998,7 @@ librtemscpu_a_SOURCES += score/src/timespeclessthan.c librtemscpu_a_SOURCES += score/src/timespecsubtract.c librtemscpu_a_SOURCES += score/src/timespectoticks.c librtemscpu_a_SOURCES += score/src/timespecdivide.c +librtemscpu_a_SOURCES += score/src/timespecisnonnegative.c librtemscpu_a_SOURCES += score/src/timespecdividebyinteger.c librtemscpu_a_SOURCES += score/src/timespecgetasnanoseconds.c librtemscpu_a_SOURCES += score/src/coretod.c |