safeguard against accidentally any parent dir under git

This commit is contained in:
Andrei Zavada 2015-04-01 17:34:13 +03:00
parent 39af04cec0
commit 6a9d81997d

View File

@ -21,6 +21,7 @@ fi
echo $VERSION
cd $RT_DEST_DIR
echo " - Resetting existing $RT_DEST_DIR"
export GIT_WORK_TREE="$RT_DEST_DIR"
git reset HEAD --hard > /dev/null
git clean -fd > /dev/null
echo " - Removing and recreating $RT_DEST_DIR/current"