diff options
Diffstat (limited to 'test/monniaux/build_benches.sh')
-rwxr-xr-x | test/monniaux/build_benches.sh | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/test/monniaux/build_benches.sh b/test/monniaux/build_benches.sh index 123f4c82..a8f1b1a5 100755 --- a/test/monniaux/build_benches.sh +++ b/test/monniaux/build_benches.sh @@ -1,3 +1,5 @@ +#!/usr/bin/bash + TMPFILE=/tmp/1513times.txt source benches.sh @@ -5,9 +7,14 @@ source benches.sh rm -f commands.txt rm -f $TMPFILE for bench in $benches; do - #echo "(cd $bench && make -j5 $1)" >> commands.txt - (cd $bench && make -j20 $1) | grep -P "\d+: \d+\.\d+" >> $TMPFILE + if [ "$1" == "" ]; then + (cd $bench && make -j20) + else + (cd $bench && make -j20) | grep -P "\d+: \d+\.\d+" >> $TMPFILE + fi done -cat $TMPFILE | sort -n -k 1 > compile_times.txt -#cat commands.txt | xargs -n1 -I{} -P4 bash -c '{}' +if [ "$1" != "" ]; then + cat $TMPFILE | sort -n -k 1 > $1 +fi + |