diff options
Diffstat (limited to 'cpukit/libmisc/shell/verrx.c')
| -rw-r--r-- | cpukit/libmisc/shell/verrx.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpukit/libmisc/shell/verrx.c b/cpukit/libmisc/shell/verrx.c index 30355dd31c..468500d000 100644 --- a/cpukit/libmisc/shell/verrx.c +++ b/cpukit/libmisc/shell/verrx.c @@ -56,7 +56,7 @@ __weak_alias(verrx, _verrx) #endif __dead void -verrx(jmp_buf* exit_jmp, int eval __attribute__((unused)), const char *fmt, _BSD_VA_LIST_ ap) +verrx(jmp_buf* exit_jmp, int eval RTEMS_UNUSED, const char *fmt, _BSD_VA_LIST_ ap) { #if 0 (void)fprintf(stderr, "%s: ", getprogname()); |