diff --git a/com.oracle.truffle.r.test.packages.analyzer/src/com/oracle/truffle/r/test/packages/analyzer/PTAMain.java b/com.oracle.truffle.r.test.packages.analyzer/src/com/oracle/truffle/r/test/packages/analyzer/PTAMain.java index f60d22af3eff08353b486d7392c4732ffd09b77a..bb5f388c3c907951d757ec5839dc756606ddd349 100644 --- a/com.oracle.truffle.r.test.packages.analyzer/src/com/oracle/truffle/r/test/packages/analyzer/PTAMain.java +++ b/com.oracle.truffle.r.test.packages.analyzer/src/com/oracle/truffle/r/test/packages/analyzer/PTAMain.java @@ -204,6 +204,7 @@ public class PTAMain { sb.append(" --glob GLOB\t\tGlob-style directory filter for packages to consider (default: \"*\").").append(LF); sb.append(" --outDir PATH\tPath to directory for HTML output (default: \"html\").").append(LF); sb.append(" --console\t\tPrint output to console (by default, only errors are printed).").append(LF); + sb.append(" --verbose\t\tUse highest verbosity level.").append(LF); System.out.println(sb.toString()); System.exit(1); }