diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-04-14 15:10:24 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-04-14 16:01:05 +0200 |
| commit | 8e8d984fd6db77bb5c1bec66369e5e99470d416f (patch) | |
| tree | 261bd4abeef85ecd4780ce4ba22c191ad7d00e87 /gnu/ci.scm | |
| parent | 0ad60b2a89d6d387236466e0bcdd61ac489fca37 (diff) | |
| download | patches-8e8d984fd6db77bb5c1bec66369e5e99470d416f.tar patches-8e8d984fd6db77bb5c1bec66369e5e99470d416f.tar.gz | |
maint: Actually check for the availablility of system packages.
* etc/release-manifest.scm (%system-manifest): New variable.
<top level>: Add it in 'concatenate-manifests' call.
Diffstat (limited to 'gnu/ci.scm')
0 files changed, 0 insertions, 0 deletions