aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-06-29 16:32:28 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-06-29 16:32:28 +0200
commitfd2898bef357da68ae4962120ce723748b488137 (patch)
treeea61c1849fc5a0ba0c52814bbb3a05e3f021a20e
parent9fcc2c04f952b2be11720867439e03b1d1badcf5 (diff)
downloadcompcert-kvx-fd2898bef357da68ae4962120ce723748b488137.tar.gz
compcert-kvx-fd2898bef357da68ae4962120ce723748b488137.zip
Decreasing amount of concurrent -j5 on 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 5f9f22cb..a562a117 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{} -P4 bash -c '{}'
+cat commands.txt | xargs -n1 -I{} -P5 bash -c '{}'
##
# Gather all the CSV files