diff options
| author | Vincent Laporte | 2018-10-11 08:07:29 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-10-11 08:07:29 +0000 |
| commit | 65150d6dba04159dddc79acea7e1b906b817a413 (patch) | |
| tree | e7c8656fbba0edfb0c562a966f70f2296bac2737 | |
| parent | 553728ed08468af6601455af5bcbd9412656ff72 (diff) | |
| parent | 270d090bac912915232eefbf7f4f6d4bc6837736 (diff) | |
Merge PR #8701: Fix build of Nix package with sandbox.
| -rw-r--r-- | default.nix | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/default.nix b/default.nix index 1cc74dc0d2..61f434efe6 100644 --- a/default.nix +++ b/default.nix @@ -75,7 +75,10 @@ stdenv.mkDerivation rec { (path: _: !elem (baseNameOf path) [".git" "result" "bin" "_build" "_build_ci"]) ./.; - preConfigure = "patchShebangs kernel/"; + preConfigure = '' + patchShebangs kernel/ + patchShebangs dev/tools/ + ''; prefixKey = "-prefix "; |