diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-10-25 21:37:31 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2019-12-04 11:25:33 +0200 |
| commit | fabd4900d8fb739a55e2dff76dee3a29b2a90bb1 (patch) | |
| tree | b9082f5dc2acc7f9404a401ed63de1c0237ecd5a | |
| parent | 6ea613ce63178a92991904eb634a02c59f5838c0 (diff) | |
| download | guix-fabd4900d8fb739a55e2dff76dee3a29b2a90bb1.tar.gz | |
build-system/linux-module: Accept a #:make-flags keyword.
Fixes bug#37882. * guix/build-system/linux-module.scm (linux-module-build): Accept a MAKE-FLAGS argument. <builder>: Pass it on.
| -rw-r--r-- | guix/build-system/linux-module.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/guix/build-system/linux-module.scm b/guix/build-system/linux-module.scm index 6084d22210..dde2423434 100644 --- a/guix/build-system/linux-module.scm +++ b/guix/build-system/linux-module.scm @@ -1,5 +1,6 @@ ;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2019 Danny Milosavljevic <dannym@scratchpost.org> +;;; Copyright © 2019 Tobias Geerinckx-Rice <me@tobias.gr> ;;; ;;; This file is part of GNU Guix. ;;; @@ -120,6 +121,7 @@ (define* (linux-module-build store name inputs #:key (search-paths '()) + (make-flags '()) (tests? #t) (phases '(@ (guix build linux-module-build-system) %standard-phases)) @@ -146,6 +148,7 @@ search-paths) #:phases ,phases #:system ,system + #:make-flags ,make-flags #:tests? ,tests? #:outputs %outputs #:inputs %build-inputs))) |