bash: enable PGRP_PIPE deterministically #77055

This commit is contained in:
Arnout Engelen
2020-01-15 09:45:11 +01:00
committed by Frederik Rietdijk
parent 320a4c1526
commit 996e11d92b
4 changed files with 65 additions and 3 deletions
+2 -1
View File
@@ -41,9 +41,10 @@ stdenv.mkDerivation rec {
-DSSH_SOURCE_BASHRC
'';
patchFlags = [ "-p0" ];
patchFlags = [ "-p0" "-T" ];
patches = upstreamPatches
++ [ ./pgrp-pipe-4.4.patch ]
++ optional stdenv.hostPlatform.isCygwin ./cygwin-bash-4.4.11-2.src.patch
# https://lists.gnu.org/archive/html/bug-bash/2016-10/msg00006.html
++ optional stdenv.hostPlatform.isMusl (fetchurl {