mingw setup script: update tree via "fetch" & "reset --hard" instead of "pull"

This commit is contained in:
Moritz Bunkus 2017-07-10 18:37:11 +02:00
parent e51af9f656
commit 76c0fee77a

View File

@ -41,7 +41,7 @@ function update_mingw_cross_env {
else
echo Updating the M cross environment build scripts >> $LOGFILE
cd $INSTALL_DIR
git pull >> $LOGFILE 2>&1
git fetch >> $LOGFILE 2>&1 && git reset --hard >> $LOGFILE 2>&1
fi
cd ${INSTALL_DIR}