From: Doni Pracner <quinnuendo@gmail.com>
Date: Tue, 17 Jul 2018 22:37:59 +0000 (+0200)
Subject: mjc2wsl, give up if there are unknown options
X-Git-Tag: v1.0.0~5
X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=commitdiff_plain;h=9715cc5ed9268c6a3647cdabed470d32440b8699;hp=8684ef3ea2d843b29bf54b2078d2e0d17498f0f3

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
--- 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++;
 			}