- Added --errors switch.

Changes.txt

@@ -2,6 +2,8 @@ Recent changes (since beta 4):
 
 - --max-attacks is now per claim, and no longer global.
 - more explicit output for intruder-generated terms.
+- added switch '--errors=file' to redirect standard error output to a
+  file.
 
 
 

src/switches.c

@@ -1292,6 +1292,30 @@ switcher (const int process, int index, int commandline)
 	}
     }
 
+  if (detect (' ', "errors", 1))
+    {
+      if (!process)
+	{
+	  if (switches.expert)
+	    {
+	      helptext ("    --errors=<FILE>", "error file [stderr]");
+	    }
+	}
+      else
+	{
+	  // Set output file name
+	  /* try to open */
+	  if (!freopen (arg_pointer, "w", stderr))
+	    {
+	      printfstderr ("Could not create error file '%s'.\n",
+			    arg_pointer);
+	      exit (1);
+	    }
+	  arg_next ();
+	  return index;
+	}
+    }
+
   // If the option is not recognized, it means a file name.
   if (!process)
     {