From bd348181d04bb34871ec616b022d6aa0802f0073 Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Thu, 18 Nov 2010 06:19:37 +0000
Subject: [PATCH] add 'corepin' flag

---
 Robust/src/buildscript | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
2.34.1