1 files changed, 27 insertions, 0 deletions
diff --git a/test/monniaux/run_benches.sh b/test/monniaux/run_benches.sh
new file mode 100755
index 00000000..2b2e28d6
--- /dev/null
+++ b/test/monniaux/run_benches.sh
@@ -0,0 +1,27 @@
+
+source benches.sh
+
+cores=$(grep -c ^processor /proc/cpuinfo)
+processes=$((cores/4))
+
+rm -f commands.txt
+for bench in $benches; do
+  echo "(cd $bench && echo \"Running $bench..\" &&\
+    make -j4 run > /dev/null && echo \"$bench DONE\")" >> commands.txt
+done
+
+cat commands.txt | xargs -n1 -I{} -P$processes 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 > $1
+echo "$1 done"