jdk/src/java.base/share/native/libjli/java.c
changeset 43325 033e4cced1dc
parent 42993 d761de69e27f
child 43330 6aa5f2938b75
--- a/jdk/src/java.base/share/native/libjli/java.c	Thu Jan 26 21:21:16 2017 +0000
+++ b/jdk/src/java.base/share/native/libjli/java.c	Wed Jan 25 12:52:40 2017 -0800
@@ -769,17 +769,7 @@
                 continue;
             }
 
-            if (*arg != '-'
-                    || JLI_StrCmp(arg, "-version") == 0
-                    || JLI_StrCmp(arg, "--version") == 0
-                    || JLI_StrCmp(arg, "-fullversion") == 0
-                    || JLI_StrCmp(arg, "--full-version") == 0
-                    || JLI_StrCmp(arg, "-help") == 0
-                    || JLI_StrCmp(arg, "--help") == 0
-                    || JLI_StrCmp(arg, "-?") == 0
-                    || JLI_StrCmp(arg, "-jar") == 0
-                    || JLI_StrCmp(arg, "-X") == 0
-                    || JLI_StrCmp(arg, "--help-extra") == 0) {
+            if (*arg != '-' || isTerminalOpt(arg)) {
                 return;
             }
         }