From: Bernard Blackham <b-gitcommits@largestprime.net>
Date: Mon, 21 Jan 2013 02:50:09 +0000 (+0000)
Subject: Isolate: Fix missing short option for box-id.
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=4af13f1bd0c9c39b756071754b513a4797c88f46;p=eval.git

Isolate: Fix missing short option for box-id.
---

diff --git a/isolate/isolate.c b/isolate/isolate.c
index e2acf44..c383664 100644
--- a/isolate/isolate.c
+++ b/isolate/isolate.c
@@ -1285,7 +1285,7 @@ enum opt_code {
   OPT_CG_TIMING,
 };
 
-static const char short_opts[] = "c:d:eE:i:k:m:M:o:p::q:r:t:vw:x:";
+static const char short_opts[] = "b:c:d:eE:i:k:m:M:o:p::q:r:t:vw:x:";
 
 static const struct option long_opts[] = {
   { "box-id",		1, NULL, 'b' },