diff options
Diffstat (limited to 'test/monniaux/build_benches.sh')
-rwxr-xr-x | test/monniaux/build_benches.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/monniaux/build_benches.sh b/test/monniaux/build_benches.sh index 5c431f74..123f4c82 100755 --- a/test/monniaux/build_benches.sh +++ b/test/monniaux/build_benches.sh @@ -1,10 +1,13 @@ +TMPFILE=/tmp/1513times.txt 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) + (cd $bench && make -j20 $1) | grep -P "\d+: \d+\.\d+" >> $TMPFILE done +cat $TMPFILE | sort -n -k 1 > compile_times.txt #cat commands.txt | xargs -n1 -I{} -P4 bash -c '{}' |