diff options
| -rwxr-xr-x | ci/build.sh | 4 | ||||
| -rwxr-xr-x | ci/test.sh | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/ci/build.sh b/ci/build.sh index 7ffa610ae..c2dca6cd1 100755 --- a/ci/build.sh +++ b/ci/build.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/usr/bin/env sh # # Environment variables: # @@ -7,7 +7,7 @@ set -e -SOURCE_DIR=${SOURCE_DIR:-$( cd "$( dirname "${BASH_SOURCE[0]}" )" && dirname $( pwd ) )} +SOURCE_DIR=${SOURCE_DIR:-$( cd "$( dirname -- "${BASH_SOURCE[0]:-0}" )" && dirname $( pwd ) )} BUILD_DIR=$(pwd) CC=${CC:-cc} diff --git a/ci/test.sh b/ci/test.sh index 136ff2581..91781a43d 100755 --- a/ci/test.sh +++ b/ci/test.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/usr/bin/env sh set -e @@ -6,7 +6,7 @@ if [ -n "$SKIP_TESTS" ]; then exit 0 fi -SOURCE_DIR=${SOURCE_DIR:-$( cd "$( dirname "${BASH_SOURCE[0]}" )" && dirname $( pwd ) )} +SOURCE_DIR=${SOURCE_DIR:-$( cd "$( dirname -- "${BASH_SOURCE[0]:-0}" )" && dirname $( pwd ) )} BUILD_DIR=$(pwd) TMPDIR=${TMPDIR:-/tmp} USER=${USER:-$(whoami)} |