Properly source require.sh

Fixes #3571.
This commit is contained in:
Matthias Baur
2019-01-17 20:04:57 +01:00
committed by Matthias Baur
parent a48ff25d4c
commit 7c553a6017
3 changed files with 21 additions and 9 deletions

View File

@ -28,10 +28,14 @@ set -e
set -u
COMPOSER_COMMAND='composer'
REQUIRE_FILE='scripts/require.sh'
DIR="${BASH_SOURCE}"
if [ ! -d "$DIR" ]; then DIR="$PWD/scripts"; fi
. "$DIR/require.sh"
if [ ! -f "$REQUIRE_FILE" ]; then
echo "Cannot find $REQUIRE_FILE"
exit 1
fi
. "$REQUIRE_FILE"
rm -rf var/cache/*
git fetch origin