equal
deleted
inserted
replaced
44 public static void showHelp(boolean noArgs) { |
44 public static void showHelp(boolean noArgs) { |
45 |
45 |
46 if (noArgs) { |
46 if (noArgs) { |
47 Log.info(I18N.getString("MSG_Help_no_args")); |
47 Log.info(I18N.getString("MSG_Help_no_args")); |
48 } else { |
48 } else { |
49 Platform platform = (Log.isDebug()) ? |
49 Platform platform = (Log.isVerbose()) ? |
50 Platform.UNKNOWN : Platform.getPlatform(); |
50 Platform.UNKNOWN : Platform.getPlatform(); |
51 String types; |
51 String types; |
52 String pLaunchOptions; |
52 String pLaunchOptions; |
53 String pInstallOptions; |
53 String pInstallOptions; |
54 String pInstallDir; |
54 String pInstallDir; |