gnu: make-linux-libre: Add extra-options parameter.
authorDavid Craven <david@craven.ch>
Thu, 8 Sep 2016 14:47:52 +0000 (16:47 +0200)
committerDavid Craven <david@craven.ch>
Tue, 13 Sep 2016 19:01:27 +0000 (21:01 +0200)
commit90c18c321e579992a8f4961dd280d8c04f1ea3c2
tree26d98e9825f76648f54125df782509f6cb612e24
parentc258807a859e90ac64a756a00df4f0b7b9a85b22
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.
gnu/packages/linux.scm