diff options
author | Jakob Unterwurzacher | 2016-01-23 19:32:47 +0100 |
---|---|---|
committer | Jakob Unterwurzacher | 2016-01-23 19:32:47 +0100 |
commit | ea38ff4e0bd39f08907239d2f482d95aa38893c0 (patch) | |
tree | dd98c7798fb9e4785c8b588e69386413d158c204 /benchmark.bash | |
parent | 2e419e635f264a9bb069e30ede597ce344b91106 (diff) |
renamed: benchmark.bash -> benchmarks-builtin.bash
Diffstat (limited to 'benchmark.bash')
-rwxr-xr-x | benchmark.bash | 7 |
1 files changed, 0 insertions, 7 deletions
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 |