diff options
Diffstat (limited to 'tools/binary-repo-lib.sh')
| -rwxr-xr-x | tools/binary-repo-lib.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/binary-repo-lib.sh b/tools/binary-repo-lib.sh index f5d6043e37..4c5497e803 100755 --- a/tools/binary-repo-lib.sh +++ b/tools/binary-repo-lib.sh @@ -51,7 +51,7 @@ curlDownload() { checkCurl local jar=$1 local url=$2 - if [[ "$OSTYPE" == *Cygwin* ]]; then + if [[ "$OSTYPE" == *Cygwin* || "$OSTYPE" == *cygwin* ]]; then jar=$(cygpath -m $1) fi http_code=$(curl --write-out '%{http_code}' --silent --fail --output "$jar" "$url") |