Commit 24f05fa2 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ missing option for #3

parent 3974db19

de.ugoe.cs.swe.TTCN3Configuration/src/de/ugoe/cs/swe/common/OptionsHandler.java

+6 −2
Original line number Diff line number Diff line
@@ -44,11 +44,15 @@ public class OptionsHandler { 
		optionWithID = new OptionWithID(100, "help", "Show this usage information screen\n");

		getOptions().addOption(optionWithID);



		optionWithID = new OptionWithID(100, "single-core", "Use single core only (no parallel processing)\n");

		optionWithID = new OptionWithID(200, "local-dependencies", "Generate local dependencies\n");

		getOptions().addOption(optionWithID);

		

		optionWithID = new OptionWithID(200, "local-dependencies", "Generate local dependencies\n");

		optionWithID = new OptionWithID(300, "single-core", "Use single core only (no parallel processing)\n");

		getOptions().addOption(optionWithID);



		optionWithID = new OptionWithID(400, "analyze-usage", "Collect language usage information\n");

		getOptions().addOption(optionWithID);



	}



	public void setOptions(Options options) {