From: Bernard Blackham <b-gitcommits@largestprime.net>
Date: Mon, 21 Jan 2013 02:50:17 +0000 (+0000)
Subject: Isolate: Allow the same command to be specified multiple times.
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=40b5e1592f98519fb30023baa7db5c7a2622eae0;p=eval.git

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

diff --git a/isolate/isolate.c b/isolate/isolate.c
index 1131ddb..342af56 100644
--- 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);