diff options
Diffstat (limited to 'cpukit')
| -rw-r--r-- | cpukit/score/src/wkspace.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cpukit/score/src/wkspace.c b/cpukit/score/src/wkspace.c index 577b0f6c01..8a373dce5b 100644 --- a/cpukit/score/src/wkspace.c +++ b/cpukit/score/src/wkspace.c @@ -1,6 +1,8 @@ /* * Workspace Handler * + * JUNK + * * NOTE: * * This file only exists to contain the one function which cannot |