Updated messages

pull/339/head
Jeffrey Walton 2016-11-07 21:01:34 -05:00
parent 4a4b9b14e4
commit a87092f123
No known key found for this signature in database
GPG Key ID: B36AB348921B1838
1 changed files with 3 additions and 3 deletions

View File

@ -13,21 +13,21 @@ OLD_VERSION_TAG=CRYPTOPP_5_6_5
NEW_VERSION_TAG=master
############################################
# If repo is dirty, then promt first
# If local repo is dirty, then promt first
DIRTY=$(git diff --shortstat 2> /dev/null | tail -1)
if [[ ! (-z "$DIRTY") ]]; then
echo
echo "The local repo is dirty. Continuing will reset the repo and lose changes."
read -p "Type 'Y' to proceed, and 'N' to exit. Proceed? " -n 1 -r
read -p "Type 'Y' to proceed or 'N' to exit. Proceed? " -n 1 -r
echo # (optional) move to a new line
if [[ !($REPLY =~ ^[Yy]$) ]]; then
[[ "$0" = "$BASH_SOURCE" ]] && exit 0 || return 0
fi
else
echo
echo "The repo is clean. Proceeding..."
echo "The local repo is clean. Proceeding..."
fi
############################################