From 40b5e1592f98519fb30023baa7db5c7a2622eae0 Mon Sep 17 00:00:00 2001
From: Bernard Blackham <b-gitcommits@largestprime.net>
Date: Mon, 21 Jan 2013 02:50:17 +0000
Subject: [PATCH] Isolate: Allow the same command to be specified multiple
 times.

---
 isolate/isolate.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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);
-- 
2.39.2