Fix nix-build

During nix-build `/usr/bin/env` is not available, hence shebangs need to be patched.
VariantSync · Apr 5, 2024 · 8bb2647 · 8bb2647
1 parent a1da77f
commit 8bb2647
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/default.nix b/default.nix
@@ -27,6 +27,7 @@ pkgs.agdaPackages.mkDerivation {
   ];
 
   buildPhase = ''
+    patchShebangs ./scripts/check-all.sh
     make check-all
     make build
   '';