Revert "Introduce patchShebangsPhase ran in preConfigurePhases"

This reverts commit 512fbb280f. See #5368
2015-01-08 10:26:49 +01:00
parent 6671aff83e
commit 9b7b2ce8eb
86 changed files with 178 additions and 17 deletions
--- a/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
+++ b/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix
@@ -12,6 +12,7 @@ agda.mkDerivation (self: rec {

  sourceDirectories = [ "./." ];
  buildPhase = ''
+    patchShebangs find-deps.sh
    make
  '';