diff options
| author | Domen Kožar <domen@dev.si> | 2015-01-08 10:26:49 +0100 |
|---|---|---|
| committer | Domen Kožar <domen@dev.si> | 2015-01-08 10:26:49 +0100 |
| commit | 9b7b2ce8eb855b99598183b06bbd2f021e01d359 (patch) | |
| tree | 6208aca2cacac8adb19c64dc2a3d1ada2f7408ef /pkgs/applications/science/logic/isabelle | |
| parent | 6671aff83e4082f3a825c456cf259b9e30ae702c (diff) | |
| download | nixlib-9b7b2ce8eb855b99598183b06bbd2f021e01d359.tar nixlib-9b7b2ce8eb855b99598183b06bbd2f021e01d359.tar.gz nixlib-9b7b2ce8eb855b99598183b06bbd2f021e01d359.tar.bz2 nixlib-9b7b2ce8eb855b99598183b06bbd2f021e01d359.tar.lz nixlib-9b7b2ce8eb855b99598183b06bbd2f021e01d359.tar.xz nixlib-9b7b2ce8eb855b99598183b06bbd2f021e01d359.tar.zst nixlib-9b7b2ce8eb855b99598183b06bbd2f021e01d359.zip | |
Revert "Introduce patchShebangsPhase ran in preConfigurePhases"
This reverts commit 512fbb280f72980e84230b72b631258df1755919. See #5368
Diffstat (limited to 'pkgs/applications/science/logic/isabelle')
| -rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index 4b68f0e3cd6b..88bbe820e2f3 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -27,6 +27,7 @@ stdenv.mkDerivation { postPatch = '' ENV=$(type -p env) + patchShebangs "." substituteInPlace lib/Tools/env \ --replace /usr/bin/env $ENV substituteInPlace lib/Tools/install \ |