From 270d090bac912915232eefbf7f4f6d4bc6837736 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 10 Oct 2018 22:08:38 +0200
Subject: Fix build of Nix package with sandbox.

One more place where we must patch shebangs.
---
 default.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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 ";
 
-- 
cgit v1.2.3