From 5d4fc096459614c1b4f18f36a932f2cb51220aaf Mon Sep 17 00:00:00 2001
From: Luke Shumaker <lukeshu@sbcglobal.net>
Date: Mon, 2 Jan 2017 17:37:19 -0500
Subject: add benchmark

---
 HACKING.md | 1 +
 benchmark  | 7 +++++++
 2 files changed, 8 insertions(+)
 create mode 100755 benchmark

diff --git a/HACKING.md b/HACKING.md
index 8783b0e..a21b577 100644
--- a/HACKING.md
+++ b/HACKING.md
@@ -5,6 +5,7 @@ Here's the gist:
  /out/ : where the generated output goes
  Makefile : invoke /bin/ as appropriate
  git-setup : set up git hooks (see below)
+ benchmark : see which files take longer to generate
 
 The web server should serve the union of /src/ and /out/.
 
diff --git a/benchmark b/benchmark
new file mode 100755
index 0000000..b06c621
--- /dev/null
+++ b/benchmark
@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+rm -rf out
+thing='start up'
+{ make -j1; echo done;}|ts -i '%.s'|sed 's/ .* / /' |while read -r time newthing; do
+	echo $time $thing
+	thing=$newthing
+done | sort -n
-- 
cgit v1.2.3