diff --git a/scripts/shared/lib/shflags b/scripts/shared/lib/shflags index 14d4c86fd..bcb67da49 100644 --- a/scripts/shared/lib/shflags +++ b/scripts/shared/lib/shflags @@ -10,7 +10,7 @@ ensure_shflags() { if [ ! -f .shflags ]; then echo "Downloading shflags ${SHFLAGS_VERSION}" - if ! curl -L "https://raw.githubusercontent.com/kward/shflags/${SHFLAGS_VERSION}/src/shflags" > .shflags; then + if ! curl -L "https://raw.githubusercontent.com/kward/shflags/v${SHFLAGS_VERSION}/shflags" > .shflags; then echo "$0 needs shflags in /usr/share/shflags/shflags or locally as .shflags." 1>&2 echo "It was unable to download it; please install it and try again." 1>&2 exit 1 @@ -20,5 +20,5 @@ ensure_shflags() { . ./.shflags } -SHFLAGS_VERSION=${SHFLAGS_VERSION:=1.0.3} +SHFLAGS_VERSION=${SHFLAGS_VERSION:=1.2.3} ensure_shflags