diff options
| -rwxr-xr-x | scripts/builder/build-fetch | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/builder/build-fetch b/scripts/builder/build-fetch index a02a267..235f50e 100755 --- a/scripts/builder/build-fetch +++ b/scripts/builder/build-fetch @@ -90,6 +90,10 @@ build_fetch_git() cd "${build_fetch_git_tmp}" BUILD_FETCH_CLEAN="${BUILD_FETCH_CLEAN} ${build_fetch_git_tmp}" #trap build_fetch_clean EXIT + + case "${build_fetch_git_uri}" + (*:*) 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}'" fi |