From 90a45f9729f131569889f52cf792007f23df3949 Mon Sep 17 00:00:00 2001
From: Luke Shumaker <lukeshu@sbcglobal.net>
Date: Sat, 7 Jan 2017 00:59:01 -0500
Subject: tidy

---
 benchmark | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 benchmark

(limited to 'benchmark')

diff --git a/benchmark b/benchmark
deleted file mode 100755
index b06c621..0000000
--- a/benchmark
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/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-2-g168b