diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-06-04 14:37:53 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-06-04 14:37:53 +0200 |
| commit | b15389e15958dcfdd6a321ab635233b74b9ea630 (patch) | |
| tree | 741a5ce390bb3915a7dca3c52ed8343ded5cd111 /etc | |
| parent | 67dfa1986d7e8af9a42ffa7c9d2b40599857cf19 (diff) | |
| download | patches-b15389e15958dcfdd6a321ab635233b74b9ea630.tar patches-b15389e15958dcfdd6a321ab635233b74b9ea630.tar.gz | |
gnu: linux-libre-headers: Do not retain reference to the bootstrap tools.
* gnu/packages/linux.scm (linux-libre-headers)[install-phase]: Remove
".install" files from the output.
[arguments]: Add #:allowed-references.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions