This commit is contained in:
Ivan Ilves 2017-04-23 19:45:58 +02:00
parent d4772fd133
commit c93892bfbc
2 changed files with 3 additions and 3 deletions

View File

@ -6,8 +6,8 @@ set -e
git remote update >/dev/null
REMOTE_TS=$(git show --pretty="format:%ct" origin master)
LOCAL_TS=$(git show --pretty="format:%ct")
REMOTE_TS=$(git show --pretty="format:%ct" origin/master | head -n1)
LOCAL_TS=$(git show --pretty="format:%ct" | head -n1)
if [[ ${LOCAL_TS} -lt ${REMOTE_TS} ]]; then
echo "*** WARNING: You are running outdated Xiringuito version. Remember: 'git pull' FTW!"

View File

@ -39,7 +39,7 @@ fi
declare -r ORIGINAL_EXEC=${0}
declare -r ORIGINAL_ARGS=${@}
while getopts "f:RDrh" o; do
while getopts "f:CRDrh" o; do
case ${o} in
f)
MAX_FAILED_PINGS=${OPTARG}