a nice debugging command

Author: AYadrov

infra/nightly.sh

@@ -66,7 +66,19 @@ function perf {
     cp profile.js "$REPORTDIR"/profile.js
 }
 
-for cmd in $@; do
-    echo "Running $cmd"
-    $cmd
-done
+function bench {
+    racket -y time.rkt --dir "$REPORTDIR" --profile profile.json --id $id
+    python3 infra/ratio_plot.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"/ratio_plot.png
+    python3 infra/point_graph.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"/point_graph.png
+    python3 infra/histograms.py -t "$REPORTDIR"/timeline.json -o1 "$REPORTDIR"/histogram_valid.png -o2 "$REPORTDIR"/histogram_all.png
+    cp profile.json "$REPORTDIR"/profile.json
+    cp profile.js "$REPORTDIR"/profile.js
+}
+
+echo "Running $1"
+
+if [ "$2" ]; then
+  id=$2
+fi
+
+$1