From 095ee7ecf21ef3a10c81a1c9410e46726d12518d Mon Sep 17 00:00:00 2001
From: Michele Guerini Rocco <m.guerinirocco2@campus.unimib.it>
Date: Wed, 15 Dec 2021 02:31:20 +0100
Subject: [PATCH] default.nix: exlcude `result` from source

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

diff --git a/default.nix b/default.nix
index 59a8a5b..9a17a88 100644
--- a/default.nix
+++ b/default.nix
@@ -17,7 +17,7 @@ let
   # Exclude this file and build artifacts
   source = builtins.filterSource
     (path: type:
-      !builtins.elem path [ "configure.mk" "default.nix" ]
+      !builtins.elem path [ "configure.mk" "default.nix" "result" ]
       && baseNameOf path != "build") ./.;
 
   inherit (nixpkgs) lib pkgs;