Isolate: Allow the same command to be specified multiple times.

diff --git a/isolate/isolate.c b/isolate/isolate.c
index 1131ddbc5c108cb1bdf834cdbcc4fdc996e05de4..342af56efc6f73c5d87ce6d3e895895b1c6f3deb 100644 (file)
--- a/isolate/isolate.c
+++ b/isolate/isolate.c
@@ -1405,7 +1405,10 @@ main(int argc, char **argv)
       case OPT_RUN:
       case OPT_CLEANUP:
       case OPT_VERSION:
-       mode = c;
+       if (!mode || mode == c)
+         mode = c;
+       else
+         usage("Only one command is allowed.\n");
        break;
       case OPT_CG_MEM:
        cg_memory_limit = atoi(optarg);