From 08602e69bc3d75610578ee3956ce0b5d663feb78 Mon Sep 17 00:00:00 2001
From: Connor Olding <cloningdonor@gmail.com>
Date: Fri, 15 Nov 2013 19:22:23 -0800
Subject: [PATCH] .sh is for libraries (rename)

---
 Makefile              | 2 +-
 bench.sh => benchtime | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename bench.sh => benchtime (100%)

diff --git a/Makefile b/Makefile
index e0d066b..dc37661 100644
--- a/Makefile
+++ b/Makefile
@@ -30,7 +30,7 @@ all: options ${ALL}
 bench: all ${BENCH}
 	@echo LD ${BENCH} ${MID} -o $@
 	@${CC} ${ALL_CFLAGS} ${BENCH} -o $@ ${ALL_LDFLAGS} -rdynamic -ldl
-	./bench.sh ./bench ${AGAINST}
+	./benchtime ./bench ${AGAINST}
 
 .PHONY: options
 options:
diff --git a/bench.sh b/benchtime
similarity index 100%
rename from bench.sh
rename to benchtime