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 ";