diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2012-12-20 18:02:07 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2012-12-20 18:02:07 +0100 |
| commit | 530c169561b366d60457e499f7eb198929ffa917 (patch) | |
| tree | 8eddadfa1708a7a49c6265d6d8253d86f2609a08 /COPYING | |
| parent | c20313637f1676a50c009db6da60d97a93467f2f (diff) | |
distro: bash, readline: Patch so that `make' uses the right shell.
* distro/packages/readline.scm (readline): Add `pre-configure-phase' to
patch `MAKE_SHELL' in `configure. Move `post-install-phase' body to
a variable.
* distro/packages/bash.scm (bash): Likewise.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions