From 63a750771142e614611d471d6a38d3161f2340eb Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 24 Jan 2015 05:21:01 -0800
Subject: [PATCH] Added bench-detailed target.

---
 Makefile                     | 5 +++++
 bench/detailed_benchmarks.sh | 2 --
 bench/format_benchmarks.awk  | 6 +++---
 3 files changed, 8 insertions(+), 5 deletions(-)
 delete mode 100755 bench/detailed_benchmarks.sh

diff --git a/Makefile b/Makefile
index 2c197111..74ce5621 100644
--- a/Makefile
+++ b/Makefile
@@ -27,6 +27,11 @@ lint:
 bench:
 	sudo renice 99 $$$$; node bench/bench.js ${BENCHINP}
 
+bench-detailed: bench/samples
+	sudo renice 99 $$$$; \
+	for x in bench/samples/*.md; do echo $$x; node bench/bench.js $$x; done | \
+	tee out | awk -f bench/format_benchmarks.awk
+
 npm:
 	cd js; npm publish
 
diff --git a/bench/detailed_benchmarks.sh b/bench/detailed_benchmarks.sh
deleted file mode 100755
index f286515a..00000000
--- a/bench/detailed_benchmarks.sh
+++ /dev/null
@@ -1,2 +0,0 @@
-sudo echo ""
-for x in bench/samples/*.md; do make bench BENCHINP=$x; done | awk -f bench/format_benchmarks.awk
diff --git a/bench/format_benchmarks.awk b/bench/format_benchmarks.awk
index 88dd7a30..9d4609d7 100644
--- a/bench/format_benchmarks.awk
+++ b/bench/format_benchmarks.awk
@@ -5,9 +5,9 @@ BEGIN {
     print "|------------------------|---------:|---------:|---------:|----------:|"
 }
 {
-        if (/samples\//) {
-                sub(/samples\//, "");
-                printf "|%-24s|", $7;
+        if (/^bench\/samples\//) {
+                sub(/bench\/samples\//, "");
+                printf "|%-24s|", $0;
         } else if (/^showdown/) {
                 sub(/,/, "");
                 showdown = $4;