Update the update script

pull/1/head
Automated System 13 years ago
parent 5020be6de1
commit d3ca02e591

@ -2,6 +2,13 @@
PARENTDIR=$PWD PARENTDIR=$PWD
echo "Working in $PARENTDIR" echo "Working in $PARENTDIR"
if [[ ! -d .git ]]; then
echo "Current directory does not contain a .git folder. Exiting..."
exit 1
fi
git pull
git reset --hard HEAD
git clean -d -x -f
exec 3< submodules exec 3< submodules
while read <&3 while read <&3

Loading…
Cancel
Save