Update build.sh

This commit is contained in:
Daniel Stankewitz 2018-06-17 21:47:46 +02:00 committed by GitHub
parent 73e26db28a
commit 2d2ef4d677
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -24,7 +24,7 @@ function git_clone {
git clone $1 $SRC/$2
fi
cd $SRC/$2
git fetch --all
git reset --hard
git pull
cd ../..
}