diff options
| author | Domen Kožar <domen@dev.si> | 2015-01-02 02:58:18 +0100 |
|---|---|---|
| committer | Domen Kožar <domen@dev.si> | 2015-01-02 02:58:32 +0100 |
| commit | 512fbb280f72980e84230b72b631258df1755919 (patch) | |
| tree | 6e10e8d2dc2ab874075123ccbc47232c7122dd0a /pkgs/applications/science/logic/isabelle | |
| parent | d8c5d95330d9806b3ee30569de76660f3931d5ee (diff) | |
| download | nixpkgs-512fbb280f72980e84230b72b631258df1755919.tar nixpkgs-512fbb280f72980e84230b72b631258df1755919.tar.gz nixpkgs-512fbb280f72980e84230b72b631258df1755919.tar.bz2 nixpkgs-512fbb280f72980e84230b72b631258df1755919.tar.lz nixpkgs-512fbb280f72980e84230b72b631258df1755919.tar.xz nixpkgs-512fbb280f72980e84230b72b631258df1755919.tar.zst nixpkgs-512fbb280f72980e84230b72b631258df1755919.zip | |
Introduce patchShebangsPhase ran in preConfigurePhases
(cherry picked from commit 91c7e8747af1fdc2a70cd98594ccbb12a5c6902d) Signed-off-by: Domen Kožar <domen@dev.si>
Diffstat (limited to 'pkgs/applications/science/logic/isabelle')
| -rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index 88bbe820e2f..4b68f0e3cd6 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -27,7 +27,6 @@ stdenv.mkDerivation { postPatch = '' ENV=$(type -p env) - patchShebangs "." substituteInPlace lib/Tools/env \ --replace /usr/bin/env $ENV substituteInPlace lib/Tools/install \ |