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 42e16d71e6..189f525b7d 100644 --- a/cpukit/Makefile.am +++ b/cpukit/Makefile.am @@ -1014,6 +1014,7 @@ librtemscpu_a_SOURCES += score/src/debugisthreaddispatchingallowed.c librtemscpu_a_SOURCES += score/src/interr.c librtemscpu_a_SOURCES += score/src/isr.c librtemscpu_a_SOURCES += score/src/wkspace.c +librtemscpu_a_SOURCES += score/src/wkspaceisunifieddefault.c librtemscpu_a_SOURCES += score/src/wkstringduplicate.c librtemscpu_a_SOURCES += score/src/ioprintf.c librtemscpu_a_SOURCES += score/src/iovprintf.c |