Changes in src/main.cc [7215000:74330e7]

File:

• src/main.cc (modified) (4 diffs)

src/main.cc

@@ -443 +443 @@
 
 
-static const char optstring[] = ":c:ghlLmNnpdP:S:twW:D:";
+static const char optstring[] = ":c:ghlLmNnpP:S:twW:D:";
 
 enum { PreludeDir = 128 };
@@ -456 +456 @@
         { "no-prelude", no_argument, nullptr, 'n' },
         { "prototypes", no_argument, nullptr, 'p' },
-        { "deterministic-out", no_argument, nullptr, 'd' },
         { "print", required_argument, nullptr, 'P' },
         { "prelude-dir", required_argument, nullptr, PreludeDir },
@@ -477 +476 @@
         "do not read prelude",                                // -n
         "generate prototypes for prelude functions",            // -p
-        "don't print output that isn't deterministic",        // -d
         "print",                                              // -P
         "<directory> prelude directory for debug/nodebug",      // no flag
@@ -582 +580 @@
                         genproto = true;
                         break;
-                  case 'd':                                     // don't print non-deterministic output
-                    deterministic_output = true;
-                        break;
                   case 'P':                                                                             // print options
                         for ( int i = 0;; i += 1 ) {