mjc2wsl, give up if there are unknown options

diff --git a/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java b/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java
index 3bbdf6e018bf2ef5bfe13ca08cd463658f8f013c..7292d8a141c830696fb4fd4d400b6cfb2e415cba 100644 (file)
--- a/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java
+++ b/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java
@@ -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++;
                        }