jdk/src/share/bin/java.c
changeset 8174 89e3a22d4cd7
parent 7997 78536cac0841
child 8806 c81d4e10ffb7
--- a/jdk/src/share/bin/java.c	Thu Feb 03 13:49:25 2011 -0800
+++ b/jdk/src/share/bin/java.c	Thu Feb 03 15:41:23 2011 -0800
@@ -244,6 +244,7 @@
         for (i = 0; i < argc ; i++) {
             printf("argv[%d] = %s\n", i, argv[i]);
         }
+        AddOption("-Dsun.java.launcher.diag=true", NULL);
     }
 
     CreateExecutionEnvironment(&argc, &argv,
@@ -1009,6 +1010,8 @@
         } else if (JLI_StrCmp(arg, "-XshowSettings") == 0 ||
                 JLI_StrCCmp(arg, "-XshowSettings:") == 0) {
             showSettings = arg;
+        } else if (JLI_StrCmp(arg, "-Xdiag") == 0) {
+            AddOption("-Dsun.java.launcher.diag=true", NULL);
 /*
  * The following case provide backward compatibility with old-style
  * command line options.