diff options
| author | Artturin <Artturin@artturin.com> | 2023-11-06 04:44:32 +0200 |
|---|---|---|
| committer | Artturin <Artturin@artturin.com> | 2023-11-25 18:16:12 +0200 |
| commit | 20591326aaff590f5051a17f2b50ade7636d908f (patch) | |
| tree | ef5e00ad7ee81af7f2b691632e8bf221683ffcdd /pkgs/development/coq-modules/Cheerios | |
| parent | e68001550de99fac8336e2c230dcd7e0157777ed (diff) | |
| download | nixlib-20591326aaff590f5051a17f2b50ade7636d908f.tar nixlib-20591326aaff590f5051a17f2b50ade7636d908f.tar.gz nixlib-20591326aaff590f5051a17f2b50ade7636d908f.tar.bz2 nixlib-20591326aaff590f5051a17f2b50ade7636d908f.tar.lz nixlib-20591326aaff590f5051a17f2b50ade7636d908f.tar.xz nixlib-20591326aaff590f5051a17f2b50ade7636d908f.tar.zst nixlib-20591326aaff590f5051a17f2b50ade7636d908f.zip | |
treewide: remove unnecessary patching of configure script
The configure phase of `stdenv` now runs `patchShebangs` on `configureScript`. Did not remove `patchShebangs` in packages which override `configurePhase`
Diffstat (limited to 'pkgs/development/coq-modules/Cheerios')
| -rw-r--r-- | pkgs/development/coq-modules/Cheerios/default.nix | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/pkgs/development/coq-modules/Cheerios/default.nix b/pkgs/development/coq-modules/Cheerios/default.nix index cacdacde326f..4f02f4fca7a3 100644 --- a/pkgs/development/coq-modules/Cheerios/default.nix +++ b/pkgs/development/coq-modules/Cheerios/default.nix @@ -14,9 +14,4 @@ mkCoqDerivation { release."20200201".sha256 = "1h55s6lk47bk0lv5ralh81z55h799jbl9mhizmqwqzy57y8wqgs1"; propagatedBuildInputs = [ StructTact ]; - preConfigure = '' - if [ -f ./configure ]; then - patchShebangs ./configure - fi - ''; } |