diff options
Diffstat (limited to 'pkgs/build-support/fetchgit')
-rwxr-xr-x | pkgs/build-support/fetchgit/nix-prefetch-git | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/build-support/fetchgit/nix-prefetch-git b/pkgs/build-support/fetchgit/nix-prefetch-git index ff84f5adce97..1d172598722b 100755 --- a/pkgs/build-support/fetchgit/nix-prefetch-git +++ b/pkgs/build-support/fetchgit/nix-prefetch-git @@ -83,6 +83,7 @@ init_remote(){ local url=$1 git init git remote add origin $url + [ -n "$http_proxy" ] && git config http.proxy $http_proxy } # Return the reference of an hash if it exists on the remote repository. |