diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-08-26 11:42:37 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-08-26 13:40:46 +0200 |
| commit | f00ff8db9253b077ea625072d41f573cd1f73f3d (patch) | |
| tree | c0dfe194029741e94f757b844cc586d49354c7e6 /doc | |
| parent | 2ae1c7528d19c61a10f6e3ddfee831ad3fd34e20 (diff) | |
| download | patches-f00ff8db9253b077ea625072d41f573cd1f73f3d.tar patches-f00ff8db9253b077ea625072d41f573cd1f73f3d.tar.gz | |
ci: Try hard to build package replacements.
The "ghostscript" replacements introduced in
0b859092a7346f3b4d0a3a4dac878fd64fd70b79 would not be built because they
have the same name as the original packages.
* gnu/ci.scm (all-packages): Return the replacement of PACKAGE before
PACKAGE.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions