diff options
Diffstat (limited to 'cpukit/libmisc/shell/main_wkspaceinfo.c')
| -rw-r--r-- | cpukit/libmisc/shell/main_wkspaceinfo.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/cpukit/libmisc/shell/main_wkspaceinfo.c b/cpukit/libmisc/shell/main_wkspaceinfo.c index 9eb26900d5..fd7c531854 100644 --- a/cpukit/libmisc/shell/main_wkspaceinfo.c +++ b/cpukit/libmisc/shell/main_wkspaceinfo.c @@ -34,8 +34,8 @@ void rtems_shell_print_unified_work_area_message(void) } int rtems_shell_main_wkspace_info( - int argc, - char *argv[] + int argc __attribute__((unused)), + char *argv[] __attribute__((unused)) ) { Heap_Information_block info; @@ -57,4 +57,3 @@ rtems_shell_cmd_t rtems_shell_WKSPACE_INFO_Command = { NULL, /* alias */ NULL /* next */ }; - |