diff options
author | midipix <writeonce@midipix.org> | 2016-05-06 16:12:22 -0400 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2016-11-11 00:22:43 -0500 |
commit | 0c83479177c225a65603140002b98827461965b9 (patch) | |
tree | a196d78a41ca0403b6b9852454cc9c8fd3e66fbd /src/internal | |
parent | 97b592f238a3de16785d7007cf74c9b855bae674 (diff) | |
download | mdso-0c83479177c225a65603140002b98827461965b9.tar.bz2 mdso-0c83479177c225a65603140002b98827461965b9.tar.xz |
argv.h: argv_show_status(): mark unused parameter.
Diffstat (limited to 'src/internal')
-rw-r--r-- | src/internal/argv/argv.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/internal/argv/argv.h b/src/internal/argv/argv.h index 3bf246b..7bb8984 100644 --- a/src/internal/argv/argv.h +++ b/src/internal/argv/argv.h @@ -591,6 +591,8 @@ static void argv_show_status( char short_name[2] = {0}; const char * space = ""; + (void)ctx; + fputs("\n\nconcatenated command line:\n",stderr); for (argv=meta->argv; *argv; argv++) { fprintf(stderr,"%s%s",space,*argv); |