Re: [PATCH 07/17] gnu: linux-libre: Use make-linux-libre.

2016-09-11 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/linux.scm (linux-libre, linux-libre-4.4, > linux-libre-4.1): Use make-linux-libre. > (make-linux-libre): New variable. [...] > +(define-public linux-libre > + (let* ((version "4.7.2") > + (conf (kernel-config > +(or (%current-t

[PATCH 07/17] gnu: linux-libre: Use make-linux-libre.

2016-09-09 Thread David Craven
* gnu/packages/linux.scm (linux-libre, linux-libre-4.4, linux-libre-4.1): Use make-linux-libre. (make-linux-libre): New variable. --- gnu/packages/linux.scm | 78 ++ 1 file changed, 34 insertions(+), 44 deletions(-) diff --git a/gnu/packages/lin