diff --git a/src/jdk.jcmd/share/classes/sun/tools/jmap/JMap.java b/src/jdk.jcmd/share/classes/sun/tools/jmap/JMap.java index 4ee0d15ecad..1c07d5923ac 100644 --- a/src/jdk.jcmd/share/classes/sun/tools/jmap/JMap.java +++ b/src/jdk.jcmd/share/classes/sun/tools/jmap/JMap.java @@ -216,6 +216,11 @@ public class JMap { liveopt = "-live"; } else if (subopt.startsWith("file=")) { filename = parseFileName(subopt); + } else if (subopt.equals("format=b")) { + // ignore format (not needed at this time) + } else { + System.err.println("Fail: invalid option: '" + subopt + "'"); + usage(1); } }