1 files changed, 7 insertions, 0 deletions
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