bootstrap: Build bootstrap bash deterministically.
commitfe507d7a3d83169c77b6f73a66ffa0ce59f1119d
authorMark H Weaver <mhw@netris.org>
Mon, 12 Aug 2019 02:37:12 +0000 (11 22:37 -0400)
committerMark H Weaver <mhw@netris.org>
Thu, 15 Aug 2019 18:46:20 +0000 (15 14:46 -0400)
tree595d722cdcfa8db89e0317f7b1e04619e4a0e9a8
parent6744cef5b033c60a388d1de9a6b08c917cc51a4c
bootstrap: Build bootstrap bash deterministically.

* gnu/packages/patches/bash-4.4-linux-pgrp-pipe.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
* gnu/packages/make-bootstrap.scm (static-bash-for-bootstrap): New variable.
(%static-inputs): Use 'static-bash-for-bootstrap' instead of 'static-bash'.
gnu/local.mk
gnu/packages/make-bootstrap.scm
gnu/packages/patches/bash-4.4-linux-pgrp-pipe.patch [new file with mode: 0644]