diff options
Diffstat (limited to 'bench/bench_multi_compilers.sh')
| -rwxr-xr-x | bench/bench_multi_compilers.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bench/bench_multi_compilers.sh b/bench/bench_multi_compilers.sh index ce5586fb9..27e91f1d5 100755 --- a/bench/bench_multi_compilers.sh +++ b/bench/bench_multi_compilers.sh @@ -17,7 +17,7 @@ for (( i=0 ; i<g ; ++i )) ; do if [ -e `which $compiler` ]; then echo "${CLIST[$i]}" # echo "${CLIST[$i]} $benchfile -I.. -o bench~" - if [ -e ./.bench ] ; then rm .bench; fi +# if [ -e ./.bench ] ; then rm .bench; fi ${CLIST[$i]} $benchfile -I.. -o .bench && ./.bench 2> /dev/null echo "" else |