diff options
| -rw-r--r-- | c/src/exec/score/src/wkspace.c | 2 | ||||
| -rw-r--r-- | cpukit/score/src/wkspace.c | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/c/src/exec/score/src/wkspace.c b/c/src/exec/score/src/wkspace.c index 577b0f6c01..8a373dce5b 100644 --- a/c/src/exec/score/src/wkspace.c +++ b/c/src/exec/score/src/wkspace.c @@ -1,6 +1,8 @@ /* * Workspace Handler * + * JUNK + * * NOTE: * * This file only exists to contain the one function which cannot 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 |