diff options
author | Ludovic Courtès <ludo@gnu.org> | 2015-03-04 23:21:09 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2015-03-04 23:21:09 +0100 |
commit | 2b34b4b46d44b3849b1909892875c56b66cbbdc0 (patch) | |
tree | 37ce028a52f6a7f36423be64694cf75ff63aebf4 /release.nix | |
parent | ce0614ddb0c9aae46fba677a46392de8039c7086 (diff) | |
download | guix-2b34b4b46d44b3849b1909892875c56b66cbbdc0.tar.gz guix-2b34b4b46d44b3849b1909892875c56b66cbbdc0.zip |
gnu: bash: Install headers in "include" output.
* gnu/packages/bash.scm (bash)[outputs]: New field.
[arguments]: Use 'modify-phases'. Add 'install-headers' phase.
Diffstat (limited to 'release.nix')
0 files changed, 0 insertions, 0 deletions