From 2bb5d2b7f3432883107651141a1440ef8c62e877 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Wed, 15 May 2019 11:53:27 +0000
Subject: [default.nix] Exclude the nix/ directory from sources

---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/default.nix b/default.nix
index 1e2cb3625d..d5c6cdb8ad 100644
--- a/default.nix
+++ b/default.nix
@@ -74,7 +74,7 @@ stdenv.mkDerivation rec {
     else
       with builtins; filterSource
         (path: _:
-           !elem (baseNameOf path) [".git" "result" "bin" "_build" "_build_ci"]) ./.;
+           !elem (baseNameOf path) [".git" "result" "bin" "_build" "_build_ci" "nix"]) ./.;
 
   preConfigure = ''
     patchShebangs dev/tools/
-- 
cgit v1.2.3