source benches.sh

rm -f commands.txt
for bench in $benches; do
  echo "(cd $bench && make -j5 run)" >> commands.txt
done

cat commands.txt | xargs -n1 -I{} -P5 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"