From e799ae672d64e6d3f943f79cda67be12a2b999e1 Mon Sep 17 00:00:00 2001
From: Jakob Unterwurzacher
Date: Sat, 23 Jan 2016 20:17:34 +0100
Subject: Show new benchmark.bash in README

The old benchmark is in benchmark-builtin.bash.

renamed:    benchmarks-builtin.bash -> benchmark-builtin.bash
renamed:    benchmarks-external.bash -> benchmark.bash
---
 benchmarks-builtin.bash | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100755 benchmarks-builtin.bash

(limited to 'benchmarks-builtin.bash')

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