diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-18 22:46:25 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-19 01:26:34 +0100 |
| commit | 1a7dbc11c5650ecfadff6e5481b1805d8954adc8 (patch) | |
| tree | 80914804529062ef394777ca7d438465afcf0869 /gnu/local.mk | |
| parent | d680a8afd1190aac46742d3abf2a0de1a45ea10f (diff) | |
maint: Add gnu/ci.scm to the distribution.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add %D%/ci.scm.
Diffstat (limited to 'gnu/local.mk')
| -rw-r--r-- | gnu/local.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/local.mk b/gnu/local.mk index 9706a39ef6..750e67d2fe 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -46,6 +46,7 @@ GNU_SYSTEM_MODULES = \ %D%/bootloader/grub.scm \ %D%/bootloader/extlinux.scm \ %D%/bootloader/u-boot.scm \ + %D%/ci.scm \ %D%/packages.scm \ %D%/packages/abduco.scm \ %D%/packages/abiword.scm \ |