X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fcommand-line.c;h=8511f290efab920d06d8a4bd33360f1e18723c72;hb=03660262a395494be666ae271d7d08408d34007d;hp=9c5af7c8e406b8682e3bd94ccec1cfe0bec052bc;hpb=a19b858e0ac3c69e4a28c0ca6d8674427268a863;p=pspp-builds.git diff --git a/src/ui/terminal/command-line.c b/src/ui/terminal/command-line.c index 9c5af7c8..8511f290 100644 --- a/src/ui/terminal/command-line.c +++ b/src/ui/terminal/command-line.c @@ -26,6 +26,7 @@ #include #include #include +#include #include #include #include @@ -33,9 +34,10 @@ #include #include "read-line.h" #include -#include +#include #include #include +#include #include "gettext.h" #define _(msgid) gettext (msgid) @@ -163,7 +165,7 @@ parse_command_line (int argc, char **argv) set_safer_mode (); break; case 'v': - err_verbosity++; + verbose_increment_level (); break; case 'V': puts (version); @@ -179,7 +181,7 @@ parse_command_line (int argc, char **argv) case 0: break; default: - assert (0); + NOT_REACHED (); } } @@ -220,8 +222,6 @@ N_("PSPP, a program for statistical analysis of sample data.\n" " calculated from broken algorithms\n" " -B, --config-dir=DIR set configuration directory to DIR\n" " -o, --device=DEVICE select output driver DEVICE and disable defaults\n" -" -d, --define=VAR[=VALUE] set environment variable VAR to VALUE, or empty\n" -" -u, --undef=VAR undefine environment variable VAR\n" "\nInput and output:\n" " -f, --out-file=FILE send output to FILE (overwritten)\n" " -p, --pipe read script from stdin, send output to stdout\n"