aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/build_benches.sh
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-05-29 17:58:13 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-05-29 17:59:19 +0200
commitebf6efcadc130ada9b449fad04b19e4a3455a99d (patch)
treec9050a256fef2bdc9c3c2675a2bc14061dbd55f8 /test/monniaux/build_benches.sh
parent3aa45f72a8c8b33087fddab070a069adc5487244 (diff)
downloadcompcert-kvx-ebf6efcadc130ada9b449fad04b19e4a3455a99d.tar.gz
compcert-kvx-ebf6efcadc130ada9b449fad04b19e4a3455a99d.zip
make -j20 instead of xargs -P4 + make -j5
Diffstat (limited to 'test/monniaux/build_benches.sh')
-rwxr-xr-xtest/monniaux/build_benches.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/test/monniaux/build_benches.sh b/test/monniaux/build_benches.sh
index 02123665..5c431f74 100755
--- a/test/monniaux/build_benches.sh
+++ b/test/monniaux/build_benches.sh
@@ -3,7 +3,8 @@ source benches.sh
rm -f commands.txt
for bench in $benches; do
- echo "(cd $bench && make -j5 $1)" >> commands.txt
+ #echo "(cd $bench && make -j5 $1)" >> commands.txt
+ (cd $bench && make -j20 $1)
done
-cat commands.txt | xargs -n1 -I{} -P4 bash -c '{}'
+#cat commands.txt | xargs -n1 -I{} -P4 bash -c '{}'