on master help sign in
Replace #!/bin/bash with #!/usr/bin/env bash to improve compatibility with systems where /bin/bash is not available
b50bd58Matthias Devlamynck
assets/create.sh+1−1
@@ -1,4 +1,4 @@
1−#!/bin/bash
1+#!/usr/bin/env bash
2set -euo pipefail
2set -euo pipefail
3
3
4ASSET_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
4ASSET_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
tests/benchmarks/comparison.shmode 100644 → 100755+1−1
@@ -1,4 +1,4 @@
1−#!/bin/bash
1+#!/usr/bin/env bash
2
2
3if ! which hyperfine > /dev/null 2>&1; then
3if ! which hyperfine > /dev/null 2>&1; then
4 echo "'hyperfine' does not seem to be installed."
4 echo "'hyperfine' does not seem to be installed."
tests/benchmarks/run-benchmarks.shmode 100644 → 100755+1−1
@@ -1,4 +1,4 @@
1−#!/bin/bash
1+#!/usr/bin/env bash
2
2
3if ! which hyperfine > /dev/null 2>&1; then
3if ! which hyperfine > /dev/null 2>&1; then
4 echo "'hyperfine' does not seem to be installed."
4 echo "'hyperfine' does not seem to be installed."
tests/syntax-tests/regression_test.sh+1−1
@@ -1,4 +1,4 @@
1−#!/bin/bash
1+#!/usr/bin/env bash
2
2
3set -eou pipefail
3set -eou pipefail
4
4
tests/syntax-tests/update.shmode 100644 → 100755+1−1
@@ -1,4 +1,4 @@
1−#!/bin/bash
1+#!/usr/bin/env bash
2
2
3python="python3"
3python="python3"
4if ! command -v python3 &>/dev/null; then python="python"; fi
4if ! command -v python3 &>/dev/null; then python="python"; fi