diff --git a/assets/.ignore b/assets/.ignore new file mode 100644 index 00000000..e182b288 --- /dev/null +++ b/assets/.ignore @@ -0,0 +1,2 @@ +syntaxes/* +themes/* 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"