Re: [PATCH 12/17] gnu: make-linux-libre: Add extra-version parameter.

2016-09-11 Thread Ludovic Courtès
David Craven skribis: > * gnu/packages/linux.scm (make-linux-libre): Add extra-version option. > --- > gnu/packages/linux.scm | 7 ++- > 1 file changed, 6 insertions(+), 1 deletion(-) > > diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm > index 6771bd2..f2e6887 100644 > --- a/gnu

[PATCH 12/17] gnu: make-linux-libre: Add extra-version parameter.

2016-09-09 Thread David Craven
* gnu/packages/linux.scm (make-linux-libre): Add extra-version option. --- gnu/packages/linux.scm | 7 ++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index 6771bd2..f2e6887 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/