gitweb on Svarog

projekti pod git sistemom za održavanje verzija -- projects under the git version control system
mjc2wsl, give up if there are unknown options
[mjc2wsl.git] / src / com / quemaster / transformations / mjc2wsl / mjc2wsl.java
index 3bbdf6e..7292d8a 100644 (file)
@@ -901,7 +901,8 @@ public class mjc2wsl{
                                } else if (args[i].compareToIgnoreCase("--genLocalsSeparate") == 0) {
                                        genLocalsAsArray = false;
                                } else {
-                                       System.err.println("unknown option: "+args[i]);
+                                       System.err.println("unknown option, refusing to continue: "+args[i]);
+                                       System.exit(1);
                                }
                                i++;
                        }
Svarog.pmf.uns.ac.rs/gitweb maintanance Doni Pracner