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 3bbdf6e..7292d8a 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 {
                                } 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++;
                        }
                                }
                                i++;
                        }