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