diff options
-rw-r--r-- | spec/build/cpukit/librtemscpu.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/spec/build/cpukit/librtemscpu.yml b/spec/build/cpukit/librtemscpu.yml index a08cbb96e1..0d16cea304 100644 --- a/spec/build/cpukit/librtemscpu.yml +++ b/spec/build/cpukit/librtemscpu.yml @@ -1578,7 +1578,9 @@ source: - cpukit/score/src/watchdogtick.c - cpukit/score/src/watchdogtickssinceboot.c - cpukit/score/src/watchdogtimeslicedefault.c +- cpukit/score/src/wkspaceallocate.c - cpukit/score/src/wkspace.c +- cpukit/score/src/wkspacefree.c - cpukit/score/src/wkspaceisunifieddefault.c - cpukit/score/src/wkspacemallocinitdefault.c - cpukit/score/src/wkspacemallocinitunified.c |