diff options
| author | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-09-29 12:01:51 +0200 |
|---|---|---|
| committer | Jan Nieuwenhuizen <janneke@gnu.org> | 2019-09-29 17:47:18 +0200 |
| commit | 737c83f0ff9977572516c65502bdde92abd18629 (patch) | |
| tree | a85210b9af61fc202160068b92d3d34f1088ff40 /Makefile.am | |
| parent | bffd8fcd31e5aa839c64d5e47943c5d8389a0def (diff) | |
| download | patches-737c83f0ff9977572516c65502bdde92abd18629.tar patches-737c83f0ff9977572516c65502bdde92abd18629.tar.gz | |
bootstrap: bash: Update for bash-5.0.
* gnu/packages/patches/bash-4.4-linux-pgrp-pipe.patch: Remove.
* gnu/packages/patches/bash-reproducible-linux-pgrp-pipe.patch: New file.
* gnu/packages/make-bootstrap.scm (static-bash-for-bootstrap): Update to use
it.
* gnu/local.mk (dist_patch_DATA): Likewise.
Diffstat (limited to 'Makefile.am')
0 files changed, 0 insertions, 0 deletions