diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-15 16:01:30 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-15 16:01:30 +0200 |
commit | 5e2c5fae42c5c01be59999ce1170c6aea1024795 (patch) | |
tree | 3196073bfc59bdbe1e0d2ff7e7db5a87feafc4dd /test/monniaux/run_benches.sh | |
parent | 38c52d38442dec9f8043d1157d68bb8eebfe7b4b (diff) | |
parent | 107c470356e76dff780c5cf197a376d5667097b8 (diff) | |
download | compcert-kvx-5e2c5fae42c5c01be59999ce1170c6aea1024795.tar.gz compcert-kvx-5e2c5fae42c5c01be59999ce1170c6aea1024795.zip |
Merge branch 'mppa-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into mppa-work
Diffstat (limited to 'test/monniaux/run_benches.sh')
-rwxr-xr-x | test/monniaux/run_benches.sh | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/monniaux/run_benches.sh b/test/monniaux/run_benches.sh new file mode 100755 index 00000000..9537f63a --- /dev/null +++ b/test/monniaux/run_benches.sh @@ -0,0 +1,23 @@ + +source benches.sh + +rm -f commands.txt +for bench in $benches; do + echo "(cd $bench && make -j5 exec)" >> commands.txt +done + +cat commands.txt | xargs -n1 -I{} -P4 bash -c '{}' + +## +# Gather all the CSV files +## + +benches_csv="" +for bench in $benches; do + if [ -f $bench/measures.csv ]; then + benches_csv="$benches_csv $bench/measures.csv" + fi +done + +nawk 'FNR==1 && NR!=1{next;}{print}' $benches_csv > measures.csv +echo "measures.csv done" |