diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 11:50:31 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 11:52:10 +0200 |
| commit | e4e4bb635650055a94112250b71c111096f1263e (patch) | |
| tree | 3b0ead3d3bdc5eb9b5b97da2b592b2079fe6ac59 /test/monniaux/build_benches.sh | |
| parent | 7da5e4590233ef631074e0aeacfc9e7810a00f1d (diff) | |
| download | compcert-kvx-e4e4bb635650055a94112250b71c111096f1263e.tar.gz compcert-kvx-e4e4bb635650055a94112250b71c111096f1263e.zip | |
Makefile in test/monniaux that generates the compilation time graphs
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 + |