diff --git a/CI/install-dependencies-osx.sh b/CI/install-dependencies-osx.sh index 5d335d4d66829ce49debc79e47c6f1bf67681a6d..e7b52c20f8f38d6f71fe9d1395fabfdad66bf20f 100755 --- a/CI/install-dependencies-osx.sh +++ b/CI/install-dependencies-osx.sh @@ -10,7 +10,7 @@ set -e # Echo all commands before executing set -v -if [ -v "$TRAVIS" ]; then +if [[ $TRAVIS ]]; then git fetch --unshallow fi