From 6e7963e611956408e4fb26e69ccababdcfa61845 Mon Sep 17 00:00:00 2001 From: Doni Pracner Date: Mon, 28 Jul 2014 15:17:36 +0200 Subject: [PATCH] mjc2wsl - added an error to display unrecognized options from the command line --- src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java b/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java index f5bb3ea..d50c5a4 100644 --- a/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java +++ b/src/com/quemaster/transformations/mjc2wsl/mjc2wsl.java @@ -858,6 +858,8 @@ public class mjc2wsl{ genLocalVars = true; } else if (args[i].compareToIgnoreCase("--genGlobalVars") == 0) { genLocalVars = false; + } else { + System.err.println("unknown option: "+args[i]); } i++; } -- 2.17.1