From ea38ff4e0bd39f08907239d2f482d95aa38893c0 Mon Sep 17 00:00:00 2001
From: Jakob Unterwurzacher
Date: Sat, 23 Jan 2016 19:32:47 +0100
Subject: renamed:    benchmark.bash -> benchmarks-builtin.bash

---
 benchmark.bash          | 7 -------
 benchmarks-builtin.bash | 7 +++++++
 2 files changed, 7 insertions(+), 7 deletions(-)
 delete mode 100755 benchmark.bash
 create mode 100755 benchmarks-builtin.bash

diff --git a/benchmark.bash b/benchmark.bash
deleted file mode 100755
index 41f0aa7..0000000
--- a/benchmark.bash
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/bash
-
-set -eu
-
-source build.bash
-
-go test ./integration_tests -bench=. -defaultonly
diff --git a/benchmarks-builtin.bash b/benchmarks-builtin.bash
new file mode 100755
index 0000000..41f0aa7
--- /dev/null
+++ b/benchmarks-builtin.bash
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+set -eu
+
+source build.bash
+
+go test ./integration_tests -bench=. -defaultonly
-- 
cgit v1.2.3