*** empty log message ***

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 2dcfb399eedbb8ef08299fffa9b8c37be281f3c1..d9d8f054246eccc407cf538ee1688f85256ce11f 100755 (executable)
--- 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