diff options
| author | sharkdp <davidpeter@web.de> | 2018-05-25 17:44:50 +0200 |
|---|---|---|
| committer | sharkdp <davidpeter@web.de> | 2018-05-25 17:44:50 +0200 |
| commit | 39e2971e96137bd61fb3f577164728cfbcaeb55b (patch) | |
| tree | d1caba03b2df787630050d617fbeb2ec49f0aed4 /tests/benchmarks | |
| parent | a13eb60df3ccec603fe55524a9a411494b1153bf (diff) | |
Add .ignore files to avoid searching asset folders
Diffstat (limited to 'tests/benchmarks')
| -rw-r--r-- | tests/benchmarks/.ignore | 1 | ||||
| -rw-r--r-- | tests/benchmarks/comparison.sh | 2 | ||||
| -rw-r--r-- | tests/benchmarks/run-benchmarks.sh | 2 |
3 files changed, 5 insertions, 0 deletions
diff --git a/tests/benchmarks/.ignore b/tests/benchmarks/.ignore new file mode 100644 index 00000000..5a8f199b --- /dev/null +++ b/tests/benchmarks/.ignore @@ -0,0 +1 @@ +test-src/* diff --git a/tests/benchmarks/comparison.sh b/tests/benchmarks/comparison.sh index 56bb1474..b6e7e9da 100644 --- a/tests/benchmarks/comparison.sh +++ b/tests/benchmarks/comparison.sh @@ -1,3 +1,5 @@ +#!/bin/bash + if ! which hyperfine > /dev/null 2>&1; then echo "'hyperfine' does not seem to be installed." echo "You can get it here: https://github.com/sharkdp/hyperfine" diff --git a/tests/benchmarks/run-benchmarks.sh b/tests/benchmarks/run-benchmarks.sh index ec132745..252c3008 100644 --- a/tests/benchmarks/run-benchmarks.sh +++ b/tests/benchmarks/run-benchmarks.sh @@ -1,3 +1,5 @@ +#!/bin/bash + if ! which hyperfine > /dev/null 2>&1; then echo "'hyperfine' does not seem to be installed." echo "You can get it here: https://github.com/sharkdp/hyperfine" |