gnu: make-linux-libre: Only use configuration-file when one is provided.
authorDavid Craven <david@craven.ch>
Tue, 13 Sep 2016 20:41:43 +0000 (22:41 +0200)
committerDavid Craven <david@craven.ch>
Tue, 13 Sep 2016 20:48:00 +0000 (22:48 +0200)
commit0b759869832817312c40bb0a6e45cc3114b9580b
tree566e1ff8bf615987b9a7e3cfe81e8fc4111c0ef2
parent995e5092d82569e06a9d7203f637816cc6894930
gnu: make-linux-libre: Only use configuration-file when one is provided.

* gnu/packages/linux.scm (make-linux-libre): Only use configuration-file
  when one is provided.
gnu/packages/linux.scm