diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-04-09 14:02:40 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-10-12 16:20:36 +0200 |
commit | a022264c887c78497f73565e85d4bb3b57bc4c15 (patch) | |
tree | a74577a47f788ce75d9546bea25821c594f5a82e | |
parent | e8912201673380b47a3ceebf9d52ef9be0e96649 (diff) |
build wkspace split
-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 d039bd6267..e20883fda5 100644 --- a/spec/build/cpukit/librtemscpu.yml +++ b/spec/build/cpukit/librtemscpu.yml @@ -1575,7 +1575,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 |