diff options
Diffstat (limited to 'native')
| -rwxr-xr-x | native/jni/run-tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/native/jni/run-tests.sh b/native/jni/run-tests.sh index 898ea1610..5b60e0d65 100755 --- a/native/jni/run-tests.sh +++ b/native/jni/run-tests.sh @@ -18,7 +18,7 @@ echo "Usage:" 1>&2 echo " source $0" 1>&2 echo " or" 1>&2 echo " . $0" 1>&2 -exit 1 +if [[ ${BASH_SOURCE[0]} != $0 ]]; then return; else exit 1; fi fi pushd $PWD > /dev/null |