diff options
author | Jörg Thalheim <joerg@thalheim.io> | 2018-12-31 08:10:28 +0100 |
---|---|---|
committer | Jörg Thalheim <joerg@thalheim.io> | 2019-01-18 14:41:10 +0000 |
commit | eac6797380af1f0927ab683e2375429826d34e76 (patch) | |
tree | 4d292ad4c8eac2df780174bbcbe143802be68de9 /pkgs/build-support/fetchgit | |
parent | 487d2a7ccdf520e60b77809681e4ca377a7b741d (diff) |
prefer-fetch-remote: an overlay to fetch on remote builders
This is useful when running tools like NixOps or nix-review on workstations where the upload to the builder is significantly slower then downloading the source on the builder itself.
Diffstat (limited to 'pkgs/build-support/fetchgit')
-rw-r--r-- | pkgs/build-support/fetchgit/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/build-support/fetchgit/default.nix b/pkgs/build-support/fetchgit/default.nix index 9fccc27ef6322..256c86748d287 100644 --- a/pkgs/build-support/fetchgit/default.nix +++ b/pkgs/build-support/fetchgit/default.nix @@ -19,6 +19,7 @@ in , # Shell code executed after the file has been fetched # successfully. This can do things like check or transform the file. postFetch ? "" +, preferLocalBuild ? true }: /* NOTE: @@ -66,5 +67,5 @@ stdenvNoCC.mkDerivation { "GIT_PROXY_COMMAND" "SOCKS_SERVER" ]; - preferLocalBuild = true; + inherit preferLocalBuild; } |