aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/run_benches.sh
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-08-30 12:08:59 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-08-30 12:08:59 +0200
commit3a78733f68c8c02f8578fbfa8ca08bbed8ac7988 (patch)
tree7c2b8212ac742a3f237b71292dee0283d17a960c /test/monniaux/run_benches.sh
parenta160967d4ce131c6cad7c1c44b654e3aa5855023 (diff)
downloadcompcert-kvx-3a78733f68c8c02f8578fbfa8ca08bbed8ac7988.tar.gz
compcert-kvx-3a78733f68c8c02f8578fbfa8ca08bbed8ac7988.zip
Decreasing a bit the number of processes in run_benches
Diffstat (limited to 'test/monniaux/run_benches.sh')
-rwxr-xr-xtest/monniaux/run_benches.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/run_benches.sh b/test/monniaux/run_benches.sh
index a562a117..5f9f22cb 100755
--- a/test/monniaux/run_benches.sh
+++ b/test/monniaux/run_benches.sh
@@ -6,7 +6,7 @@ for bench in $benches; do
echo "(cd $bench && make -j5 run)" >> commands.txt
done
-cat commands.txt | xargs -n1 -I{} -P5 bash -c '{}'
+cat commands.txt | xargs -n1 -I{} -P4 bash -c '{}'
##
# Gather all the CSV files