bug in buildscript

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 6c9c97ba0332e20a088e5deb7c40fcdf586e712d..0f2107ab35b7cd2920a83ba7a5fd64c99a150831 100755 (executable)
--- 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' ]]