Re-enabled saving of the current file.

[pspp-builds.git] / src / ui / terminal / command-line.c

diff --git a/src/ui/terminal/command-line.c b/src/ui/terminal/command-line.c
index cf5b660c939d0b91a054f1a08e61bb93da76e65a..8511f290efab920d06d8a4bd33360f1e18723c72 100644 (file)
--- a/src/ui/terminal/command-line.c
+++ b/src/ui/terminal/command-line.c
@@ -26,6 +26,7 @@
 #include <getopt.h>
 #include <stdlib.h>
 #include <libpspp/alloc.h>
+#include <libpspp/assertion.h>
 #include <libpspp/copyleft.h>
 #include <libpspp/message.h>
 #include <language/line-buffer.h>
@@ -33,9 +34,10 @@
 #include <data/settings.h>
 #include "read-line.h"
 #include <output/output.h>
-#include <data/filename.h>
+#include <data/file-name.h>
 #include <libpspp/str.h>
 #include <libpspp/version.h>
+#include <libpspp/verbose-msg.h>
 
 #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 ();
        }
     }