1 files changed, 9 insertions, 0 deletions
diff --git a/test/monniaux/build_benches.sh b/test/monniaux/build_benches.sh
new file mode 100755
index 00000000..02123665
--- /dev/null
+++ b/test/monniaux/build_benches.sh
@@ -0,0 +1,9 @@
+
+source benches.sh
+
+rm -f commands.txt
+for bench in $benches; do
+  echo "(cd $bench && make -j5 $1)" >> commands.txt
+done
+
+cat commands.txt | xargs -n1 -I{} -P4 bash -c '{}'