From 8ec082427b712f690080df9bf3543f393223d43a Mon Sep 17 00:00:00 2001
From: jzhou <jzhou>
Date: Thu, 21 Jul 2011 23:34:03 +0000
Subject: [PATCH] bug in buildscript

---
 Robust/src/buildscript | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 6c9c97ba..0f2107ab 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -436,7 +436,7 @@ PROFILEINTERRUPTFLAG=true
 elif [[ $1 = '-useio' ]]
 then
 USEIOFLAG=true
-elif [[ $1 = '-gccachecoherenton' ]]
+elif [[ $1 = '-gccachecoherent' ]]
 then
 GCCACHECOHERENTFLAG=true
 elif [[ $1 = '-taskstate' ]]
-- 
2.34.1