diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-14 11:32:24 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 11:52:10 +0200 |
| commit | 7e65d55ddfb6b4d44efbd131b989866a3fbe21d9 (patch) | |
| tree | 9bd23a232167031f149638ca1b7de6493514fe6b /test/monniaux/build_benches.sh | |
| parent | d8dfb62a492bc082a4a559126d10ad14a8522524 (diff) | |
| download | compcert-kvx-7e65d55ddfb6b4d44efbd131b989866a3fbe21d9.tar.gz compcert-kvx-7e65d55ddfb6b4d44efbd131b989866a3fbe21d9.zip | |
build_benches printing compile time in compile_times.txt
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 '{}' |