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 /graph.js | |
| 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 'graph.js')
0 files changed, 0 insertions, 0 deletions