parent
3303b987a1
commit
38447ff187
|
@ -93,6 +93,7 @@ if [ "$NEW_COPY" = 'no' ]; then
|
||||||
REMOTE="$(git remote -v | grep "${GIT_REPO}" | head -1 | awk '{print $1}')"
|
REMOTE="$(git remote -v | grep "${GIT_REPO}" | head -1 | awk '{print $1}')"
|
||||||
git fetch "$REMOTE"
|
git fetch "$REMOTE"
|
||||||
fi
|
fi
|
||||||
|
git reset --hard
|
||||||
git clean -fdx
|
git clean -fdx
|
||||||
git checkout "${PREV_TAG}"
|
git checkout "${PREV_TAG}"
|
||||||
make "$PROFILE"
|
make "$PROFILE"
|
||||||
|
|
Loading…
Reference in New Issue