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

[Ludovic Courtès]

David Craven <address@hidden> 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/packages/linux.scm
> +++ b/gnu/packages/linux.scm
> @@ -274,12 +274,15 @@ for SYSTEM and optionally VARIANT, or #f if there is no 
> such configuration."
>  
>  (define* (make-linux-libre version source
>                             #:key
> +                           (extra-version #f)
>                             (configuration-file #f)
>                             (defconfig "defconfig")
>                             (additional-configuration
>                              %default-additional-kernel-configuration))
>    (package
> -    (name "linux-libre")
> +    (name (if extra-version
> +              (string-append "linux-libre-" extra-version)
> +              "linux-libre"))

s/extra-version/variant/, since it’s not something that goes to the
‘version’ field.  WDYT?

Otherwise OK.

Ludo’.