diff options
author | Mark H Weaver <mhw@netris.org> | 2019-08-11 22:37:12 -0400 |
---|---|---|
committer | Mark H Weaver <mhw@netris.org> | 2019-08-15 14:46:20 -0400 |
commit | fe507d7a3d83169c77b6f73a66ffa0ce59f1119d (patch) | |
tree | 595d722cdcfa8db89e0317f7b1e04619e4a0e9a8 /doc | |
parent | 6744cef5b033c60a388d1de9a6b08c917cc51a4c (diff) | |
download | patches-fe507d7a3d83169c77b6f73a66ffa0ce59f1119d.tar patches-fe507d7a3d83169c77b6f73a66ffa0ce59f1119d.tar.gz |
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'.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions