diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-04-04 13:23:08 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-04 17:47:01 +0200 |
commit | a7ad4505b7a09f32e2727a333e11716739efb713 (patch) | |
tree | e6b2aa4a46b0e365a3359fe7dca5f9b5925f4f77 /.gitignore | |
parent | 660e00507e308cdfe0bab681d95dc2cc07000b80 (diff) | |
download | patches-a7ad4505b7a09f32e2727a333e11716739efb713.tar patches-a7ad4505b7a09f32e2727a333e11716739efb713.tar.gz |
build: Always ship the (gnu installer …) modules.
Fixes <https://bugs.gnu.org/35138>.
Reported by Jonathan Brielmaier <jonathan.brielmaier@web.de>.
* gnu/local.mk (INSTALLER_MODULES): New variable.
(GNU_SYSTEM_MODULES, MODULES_NOT_COMPILED): Append $(INSTALLER_MODULES)
conditionally.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions