From: jzhou Date: Sun, 9 Nov 2008 03:30:00 +0000 (+0000) Subject: *** empty log message *** X-Git-Tag: buildscript^7~51 X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=f477235269c0853790096bc08a968fe5e5f1a283;p=IRC.git *** empty log message *** --- diff --git a/Robust/src/buildscript b/Robust/src/buildscript index 2dcfb399..d9d8f054 100755 --- a/Robust/src/buildscript +++ b/Robust/src/buildscript @@ -340,12 +340,12 @@ then #INTERRUPT version RAWRGCCFLAGS="${RAWRGCCFLAGS} -DINTERRUPT" fi #INTERRUPT version -MAKEFILE="$MAKEFILE.$RAWCONFIG" - if $RAWUSEIOFLAG then # useio version MAKEFILE="$MAKEFILE.io" echo "+++++++++++use Makefile.raw.io++++++++++++++++" +else +MAKEFILE="$MAKEFILE.$RAWCONFIG" fi #useio version cp $MAKEFILE ./Makefile