[r2005-08-11 09:30:43 by afrisch] accept -c as an alias for --compile

Original author: afrisch
Date: 2005-08-11 09:30:43+00:00

driver/run.ml

@@ -21,6 +21,8 @@ let version () =
 let specs =
   [ "--compile", Arg.Set compile,
              "compile the given CDuce file";
+    "-c", Arg.Set compile,
+      "       same as --compile";
     "--run", Arg.Set run,
          "    execute the given .cdo files";
     "--verbose", Arg.Set Cduce.verbose,