diff options
author | Jakob Unterwurzacher | 2016-01-23 20:17:34 +0100 |
---|---|---|
committer | Jakob Unterwurzacher | 2016-01-23 20:18:13 +0100 |
commit | e799ae672d64e6d3f943f79cda67be12a2b999e1 (patch) | |
tree | e3654deb6e277c4c490e11ab14135fe648f6d719 /benchmarks-builtin.bash | |
parent | 142ed8b2b6e0549188c0651a2a077b37f2ae6da0 (diff) |
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
Diffstat (limited to 'benchmarks-builtin.bash')
-rwxr-xr-x | benchmarks-builtin.bash | 7 |
1 files changed, 0 insertions, 7 deletions
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 |