src/jdk.packager/share/classes/jdk/packager/main/Main.java
branchJDK-8200758-branch
changeset 56987 0d2ff0d6bb94
parent 56982 e094d5483bd6
--- a/src/jdk.packager/share/classes/jdk/packager/main/Main.java	Thu Oct 18 17:57:26 2018 -0400
+++ b/src/jdk.packager/share/classes/jdk/packager/main/Main.java	Thu Oct 18 18:02:17 2018 -0400
@@ -86,7 +86,7 @@
                 Arguments arguments = new Arguments(args);
                 arguments.processArguments();
             } catch (Exception e) {
-                if (Arguments.verbose()) {
+                if (Log.isVerbose()) {
                     Log.verbose(e);
                 } else {
                     Log.error(e.getMessage());