equal
deleted
inserted
replaced
93 if (tool.cflag || tool.iflag || tool.tflag || tool.uflag || tool.dflag) |
93 if (tool.cflag || tool.iflag || tool.tflag || tool.uflag || tool.dflag) |
94 throw new BadArgs("error.multiple.main.operations").showUsage(true); |
94 throw new BadArgs("error.multiple.main.operations").showUsage(true); |
95 tool.xflag = true; |
95 tool.xflag = true; |
96 } |
96 } |
97 }, |
97 }, |
98 new Option(false, OptionType.MAIN_OPERATION, "--print-module-descriptor", "-d") { |
98 new Option(false, OptionType.MAIN_OPERATION, "--describe-module", "-d") { |
99 void process(Main tool, String opt, String arg) throws BadArgs { |
99 void process(Main tool, String opt, String arg) throws BadArgs { |
100 if (tool.cflag || tool.iflag || tool.tflag || tool.uflag || tool.xflag) |
100 if (tool.cflag || tool.iflag || tool.tflag || tool.uflag || tool.xflag) |
101 throw new BadArgs("error.multiple.main.operations").showUsage(true); |
101 throw new BadArgs("error.multiple.main.operations").showUsage(true); |
102 tool.dflag = true; |
102 tool.dflag = true; |
103 } |
103 } |