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 /scripts | |
| parent | d9a0bd4c699f5699e085e2be32d0a5e44030e2b2 (diff) | |
| download | patches-8872fc0e094c758a183fe95f45807727884ac15a.tar 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 'scripts')
0 files changed, 0 insertions, 0 deletions