X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fcmdline.c;h=fd4e6c450dc7ab82410b57a0897238f683e5a32f;hb=6d34b6cd00bb26603f8acedd3f0ed69a4484e484;hp=ac33ee4aaa7ee43e451efca6ca36e35551c1ae0b;hpb=55dee937e22a49d01794ef772076d9f9d84199e9;p=pspp

diff --git a/src/cmdline.c b/src/cmdline.c
index ac33ee4aaa..fd4e6c450d 100644
--- a/src/cmdline.c
+++ b/src/cmdline.c
@@ -41,6 +41,8 @@ static void usage (void);
 
 char *subst_vars (char *);
 
+static int testing_mode=0;
+
 /* Parses the command line specified by ARGC and ARGV as received by
    main(). */
 void
@@ -64,7 +66,7 @@ parse_command_line (int argc, char **argv)
     {"pipe", no_argument, NULL, 'p'},
     {"recon", no_argument, NULL, 'n'},
     {"safer", no_argument, NULL, 's'},
-    {"testing-mode", no_argument, &set_testing_mode, 1},
+    {"testing-mode", no_argument, &testing_mode, 1},
     {"verbose", no_argument, NULL, 'v'},
     {"version", no_argument, NULL, 'V'},
     {0, 0, 0, 0},
@@ -147,7 +149,7 @@ parse_command_line (int argc, char **argv)
 	  no_statrc = 1;
 	  break;
 	case 's':
-	  set_safer = 1;
+	  make_safe();
 	  break;
 	case 'v':
 	  err_verbosity++;
@@ -172,11 +174,13 @@ parse_command_line (int argc, char **argv)
 	}
     }
 
-  if (set_testing_mode)
+
+  if (testing_mode)
     {
       /* FIXME: Later this option should do some other things, too. */
-      set_viewwidth = 9999;
+      force_long_view();
     }
+    
 
   for (i = optind; i < argc; i++)
     {