Add error message for unknown option

Author: yitzchak

src/core/commandLineOptions.cc

@@ -405,7 +405,8 @@ void process_clasp_arguments(CommandLineOptions* options) {
     } else if (*arg == "-S" || *arg == "--seed") {
       options->_RandomNumberSeed = atoi((*++arg).c_str());
     } else {
-      // Unknown option.
+      fmt::print(std::cerr, "{}: unrecognized option '{}'\n", gctools::program_name(), *arg);
+      exit(1);
     }
   }
 

src/koga/ninja.lisp

@@ -167,7 +167,7 @@
                     :description "Running pfdietz test-random-integer-forms"
                     :pool "console")
   (ninja:write-rule output-stream :link-fasl
-                    :command "$clasp --norc --type image --disable-mpi --ignore-image --feature clasp-min --load link-fasl.lisp -- $out $in"
+                    :command "$clasp --norc --disable-mpi --ignore-image --feature clasp-min --load link-fasl.lisp -- $out $in"
                     :restat 1
                     :description "Linking $target")
   (ninja:write-rule output-stream "link-fasl-abc"