diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-05-08 15:36:01 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-05-08 16:29:24 +0200 |
commit | 8872fc0e094c758a183fe95f45807727884ac15a (patch) | |
tree | c74da70a5955347057e0a9a06cff7d6c4ef2b019 /COPYING | |
parent | d9a0bd4c699f5699e085e2be32d0a5e44030e2b2 (diff) | |
download | guix-patches-8872fc0e094c758a183fe95f45807727884ac15a.tar guix-patches-8872fc0e094c758a183fe95f45807727884ac15a.tar.gz |
maint: 'check-available-binaries' forces use of the official servers.
* build-aux/check-available-binaries.scm: Pass #:substitute-urls to
'set-build-options'.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions