|
|
@@ -1,5 +1,18 @@
|
|
|
#!/bin/bash
|
|
|
|
|
|
+fast=false
|
|
|
+ncpus=$(nproc)
|
|
|
+
|
|
|
+while -n "$1"; do
|
|
|
+ if [ "$1" == "--fast" ]; then
|
|
|
+ fast=true
|
|
|
+ elif [ "$1" == "-n" ]; then
|
|
|
+ ncpus="$2"
|
|
|
+ shift
|
|
|
+ fi
|
|
|
+ shift
|
|
|
+done
|
|
|
+
|
|
|
abort() {
|
|
|
echo "Step $1 failed."
|
|
|
echo "To restart from this step, try running:"
|
|
|
@@ -61,7 +74,7 @@ if [[ ! -d parsing-results/lox-old || ! -d parsing-results/lox-new || ! -d parsi
|
|
|
# Clean up any remnants of previous attempts and try again
|
|
|
rm -rf parsing-results/{lox-{old,new},troll-patrol}
|
|
|
|
|
|
- ./scripts/generate-lox-results.sh || abort "lox-gen"
|
|
|
+ ./scripts/generate-lox-results.sh -n "$ncpus" || abort "lox-gen"
|
|
|
fi
|
|
|
|
|
|
# Process Lox benchmark results
|