From 9715cc5ed9268c6a3647cdabed470d32440b8699 Mon Sep 17 00:00:00 2001
From: Doni Pracner <quinnuendo@gmail.com>
Date: Wed, 18 Jul 2018 00:37:59 +0200
Subject: [PATCH] mjc2wsl, give up if there are unknown options

---
 src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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