hack to allow using different eccps

[r15941]

diff --git a/ir/be/test/makereport.sh b/ir/be/test/makereport.sh
index d017859..b88b735 100755 (executable)
--- a/ir/be/test/makereport.sh
+++ b/ir/be/test/makereport.sh
@@ -11,7 +11,9 @@ else
 fi
 
 EXEC_PREFIX=
-ECC="eccp"
+if [ "$ECC" = "" ]; then
+       ECC="eccp"
+fi
 #EXEC_PREFIX="qemu-arm"
 #ECC="/ben/beck/ipd/bin/eccp -march=arm -bra-chordal-co-algo=heur"
 ECC_CFLAGS="${ADDCFLAGS} -v -O3 -D__builtin_memcpy=memcpy -D__builtin_memset=memset -D__builtin_strlen=strlen -D__builtin_strcpy=strcpy -D__builtin_strcmp=strcmp -DNO_TRAMPOLINES -ffp-strict"