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 /guix/build-system | |
| parent | 6ea613ce63178a92991904eb634a02c59f5838c0 (diff) | |
| download | gnu-guix-fabd4900d8fb739a55e2dff76dee3a29b2a90bb1.tar gnu-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.
Diffstat (limited to 'guix/build-system')
| -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))) |