new option

[IRC.git] / Robust / src / Main / Main.java

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index db6f700e3c8925e4736c839e564bca652e134167..270d4f906e99d632e27fe41183b1c1f7bea25b2e 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -95,6 +95,8 @@ public class Main {
        State.PRINTFLAT=true;
       else if (option.equals("-printscheduling"))
        State.PRINTSCHEDULING=true;
+      else if (option.equals("-minimize"))
+       state.MINIMIZE=true;
       else if (option.equals("-printschedulesim"))
        State.PRINTSCHEDULESIM=true;
       else if (option.equals("-printcriticalpath"))