Changes in src/main.cc [300fbee:9be45a2]

File:

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

src/main.cc

@@ -10 +10 @@
 // Created On       : Fri May 15 23:12:02 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Wed Jun  5 13:48:41 2019
+// Last Modified On : Mon Jun  3 17:35:59 2019
 // Update Count     : 600
 //
@@ -162 +162 @@
         backtrace( 6 );                                                                         // skip first 6 stack frames
         signal( SIGABRT, SIG_DFL);                                                      // reset default signal handler
-                raise( SIGABRT );                                                                       // reraise SIGABRT
+        raise( SIGABRT );                                                                       // reraise SIGABRT
 } // sigAbortHandler
 
@@ -406 +406 @@
 
 
-static const char optstring[] = ":hlLmNnpP:S:twW:D:F:";
+static const char optstring[] = ":hlLmNn:pP:S:twW:D:F:";
 
 enum { PreludeDir = 128 };