From f477235269c0853790096bc08a968fe5e5f1a283 Mon Sep 17 00:00:00 2001 From: jzhou Date: Sun, 9 Nov 2008 03:30:00 +0000 Subject: [PATCH] *** empty log message *** --- Robust/src/buildscript | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.34.1