maint: 'check-available-binaries' forces use of the official servers.
commit8872fc0e094c758a183fe95f45807727884ac15a
authorLudovic Courtès <ludo@gnu.org>
Mon, 8 May 2017 13:36:01 +0000 (8 15:36 +0200)
committerLudovic Courtès <ludo@gnu.org>
Mon, 8 May 2017 14:29:24 +0000 (8 16:29 +0200)
treec74da70a5955347057e0a9a06cff7d6c4ef2b019
parentd9a0bd4c699f5699e085e2be32d0a5e44030e2b2
maint: 'check-available-binaries' forces use of the official servers.

* build-aux/check-available-binaries.scm: Pass #:substitute-urls to
'set-build-options'.
build-aux/check-available-binaries.scm