diff options
| -rwxr-xr-x | scripts/builder/build-fetch | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/builder/build-fetch b/scripts/builder/build-fetch index df90833..241461e 100755 --- a/scripts/builder/build-fetch +++ b/scripts/builder/build-fetch @@ -92,7 +92,9 @@ build_fetch_git() #trap build_fetch_clean EXIT case "${build_fetch_git_uri}" in - (*:*) build_fetch_git_uri="git://${build_fetch_git_uri}";; + (*:[0-9]*) build_fetch_git_uri="git://${build_fetch_git_uri}";; + (*:*);; # Git over ssh? + (*) build_fetch_git_uri="git://${build_fetch_git_uri}";; esac if ! git clone --depth 1 "${build_fetch_git_uri}" "${build_fetch_git_dir}"; then die "failed to clone git source at '${build_fetch_git_uri}'" |