diff options
Diffstat (limited to 'cpukit/libmisc/shell/main_wkspaceinfo.c')
| -rw-r--r-- | cpukit/libmisc/shell/main_wkspaceinfo.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cpukit/libmisc/shell/main_wkspaceinfo.c b/cpukit/libmisc/shell/main_wkspaceinfo.c index 5a0561e807..7a2f819a0b 100644 --- a/cpukit/libmisc/shell/main_wkspaceinfo.c +++ b/cpukit/libmisc/shell/main_wkspaceinfo.c @@ -20,6 +20,7 @@ #include <rtems/malloc.h> #include <rtems/shell.h> #include <rtems/score/protectedheap.h> +#include <rtems/score/wkspace.h> #include "internal.h" void rtems_shell_print_unified_work_area_message(void) |