X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fcmdline.c;h=c280728a05626bf1646c055eab31cc9febe52822;hb=304c185799902df1dd96a8ff2d13d279005a82e5;hp=81ec7d801e3afbfe3d46b0e0b829adef0b98b2ba;hpb=829c9392ee103e34cd81e7c9aee5cdf24d6029dc;p=pspp

diff --git a/src/cmdline.c b/src/cmdline.c
index 81ec7d801e..c280728a05 100644
--- a/src/cmdline.c
+++ b/src/cmdline.c
@@ -43,13 +43,12 @@ 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
 parse_command_line (int argc, char **argv)
 {
+  static int testing_mode = 0;
   static struct option long_options[] =
   {
     {"algorithm", required_argument, NULL, 'a'},
@@ -79,7 +78,6 @@ parse_command_line (int argc, char **argv)
   int c, i;
 
   int cleared_device_defaults = 0;
-
   int no_statrc = 0;
 
   for (;;)