add profile codes for multicore version

[IRC.git] / Robust / src / buildscript

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 1c449c9d63b9d264a3f18100e20a8821700cd578..565d7772197f0bafa34d2dcfce8529982cc44f43 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -56,6 +56,7 @@ RAWFLAG=false
 RAWCONFIG=''
 RAWDEBUGFLAG=false
 RAWPATHFLAG=false
+RAWPROFILEFLAG=false
 INTERRUPTFLAG=false
 THREADSIMULATEFLAG=false;
 USEDMALLOC=false
@@ -125,6 +126,7 @@ then
 EXTRAOPTIONS="$EXTRAOPTIONS -DMAC"
 elif [[ $1 = '-profile' ]]
 then
+RAWPROFILEFLAG=true
 EXTRAOPTIONS="$EXTRAOPTIONS -pg"
 elif [[ $1 = '-taskstate' ]]
 then
@@ -314,6 +316,11 @@ then #debug version
 RAWRGCCFLAGS="${RAWRGCCFLAGS} -DRAWDEBUG"
 fi
 
+if $RAWPROFILEFLAG
+then # profile version
+RAWRGCCFLAGS="${RAWRGCCFLAGS} -DRAWPROFILE"
+fi
+
 if $INTERRUPTFLAG
 then #INTERRUPT version
 MAKEFILE="$MAKEFILE.i"