diff options
| author | Théo Zimmermann | 2018-10-10 22:08:38 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-10 22:08:38 +0200 |
| commit | 270d090bac912915232eefbf7f4f6d4bc6837736 (patch) | |
| tree | e7c8656fbba0edfb0c562a966f70f2296bac2737 | |
| parent | 553728ed08468af6601455af5bcbd9412656ff72 (diff) | |
Fix build of Nix package with sandbox.
One more place where we must patch shebangs.
| -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 "; |
