From: yeom <yeom>
Date: Thu, 18 Nov 2010 06:19:37 +0000 (+0000)
Subject: add 'corepin' flag
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=bd348181d04bb34871ec616b022d6aa0802f0073;p=IRC.git

add 'corepin' flag
---

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 9fc8b98b..12c75a56 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -369,6 +369,9 @@ EXTRAOPTIONS="$EXTRAOPTIONS -DMAC"
 elif [[ $1 = '-squeue' ]]
 then
 EXTRAOPTIONS="$EXTRAOPTIONS -DSQUEUE"
+elif [[ $1 = '-corepin' ]]
+then
+EXTRAOPTIONS="$EXTRAOPTIONS -DCOREPIN"
 SQUEUE=true
 elif [[ $1 = '-profile' ]]
 then