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/development/libraries/agda/agda-iowa-stdlib | |
| parent | d8c5d95330d9806b3ee30569de76660f3931d5ee (diff) | |
| download | nixlib-512fbb280f72980e84230b72b631258df1755919.tar nixlib-512fbb280f72980e84230b72b631258df1755919.tar.gz nixlib-512fbb280f72980e84230b72b631258df1755919.tar.bz2 nixlib-512fbb280f72980e84230b72b631258df1755919.tar.lz nixlib-512fbb280f72980e84230b72b631258df1755919.tar.xz nixlib-512fbb280f72980e84230b72b631258df1755919.tar.zst nixlib-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/development/libraries/agda/agda-iowa-stdlib')
| -rw-r--r-- | pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix b/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix index 2c76c2f43508..446bfdf9ca78 100644 --- a/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix +++ b/pkgs/development/libraries/agda/agda-iowa-stdlib/default.nix @@ -12,7 +12,6 @@ agda.mkDerivation (self: rec { sourceDirectories = [ "./." ]; buildPhase = '' - patchShebangs find-deps.sh make ''; |