revert accidental commit of makereport

[r22149]

diff --git a/ir/be/test/makereport.sh b/ir/be/test/makereport.sh
index 51f4bf0..8dcc1ed 100755 (executable)
--- a/ir/be/test/makereport.sh
+++ b/ir/be/test/makereport.sh
@@ -17,8 +17,8 @@ fi
 #EXEC_PREFIX="qemu-arm"
 #ECC="/ben/beck/ipd/bin/eccp -march=arm -bra-chordal-co-algo=heur"
 ECC_CFLAGS="${ADDCFLAGS} -v -O3 -ffp-strict"
-GCC="gcc"
-GCC_CFLAGS="-O0 -Itcc"
+GCC="icc -restrict"
+GCC_CFLAGS="-O0 -Itcc -fp-model precise"
 LINKFLAGS="-lm"
 TIMEOUT_COMPILE=300
 TIMEOUT_RUN=30