diff --git a/download_and_compile.sh b/download_and_compile.sh index 8802704..f22e882 100755 --- a/download_and_compile.sh +++ b/download_and_compile.sh @@ -1075,7 +1075,7 @@ while true; do shift 2 ;; --git-clone-site-params) - if [[ "$2" =~ ^([[:alnum:]]+)=([[:alpha:]]+)(:([[:alnum:]]+))?$ ]]; then + if [[ "$2" =~ ^([[:alnum:]]+)=([[:alpha:]]+)(:([-_.[:alnum:]]+))?$ ]]; then site="${BASH_REMATCH[1],,}" # convert the site to lowercase verbatim_proto="${BASH_REMATCH[2]}" proto="${verbatim_proto,,}" # ditto for the protocol