diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-02-24 12:01:20 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-24 12:01:20 +0000 |
commit | 2384cd723bd4af02838efcd6a49d9ac8d118298d (patch) | |
tree | 14dd7a2b76cda5c9ce7bd9c658678fae4106e538 /pkgs/build-support | |
parent | 4867d1f216c1cf5782b9f24d48d0e25f2888d4cc (diff) | |
parent | c3aaa8fb5e9ddae0dc3de00cdba200e241ea0f9d (diff) |
Merge master into staging-next
Diffstat (limited to 'pkgs/build-support')
-rw-r--r-- | pkgs/build-support/mkshell/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/build-support/mkshell/default.nix b/pkgs/build-support/mkshell/default.nix index 39b02a47141ac..3517e949f67a9 100644 --- a/pkgs/build-support/mkshell/default.nix +++ b/pkgs/build-support/mkshell/default.nix @@ -53,4 +53,6 @@ stdenv.mkDerivation ({ export; } >> "$out" ''; + + preferLocalBuild = true; } // rest) |