diff options
| author | David Craven <david@craven.ch> | 2016-09-08 16:47:52 +0200 |
|---|---|---|
| committer | David Craven <david@craven.ch> | 2016-09-13 21:01:27 +0200 |
| commit | 90c18c321e579992a8f4961dd280d8c04f1ea3c2 (patch) | |
| tree | 26d98e9825f76648f54125df782509f6cb612e24 /scripts | |
| parent | c258807a859e90ac64a756a00df4f0b7b9a85b22 (diff) | |
| download | guix-90c18c321e579992a8f4961dd280d8c04f1ea3c2.tar guix-90c18c321e579992a8f4961dd280d8c04f1ea3c2.tar.gz | |
gnu: make-linux-libre: Add extra-options parameter.
* gnu/packages/linux.scm (linux-libre): Use
%default-extra-linux-options.
(config->string, %default-extra-linux-options): New variables.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions