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 /build-aux/check-available-binaries.scm | |
| parent | d9a0bd4c699f5699e085e2be32d0a5e44030e2b2 (diff) | |
| download | gnu-guix-8872fc0e094c758a183fe95f45807727884ac15a.tar gnu-guix-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 'build-aux/check-available-binaries.scm')
| -rw-r--r-- | build-aux/check-available-binaries.scm | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/build-aux/check-available-binaries.scm b/build-aux/check-available-binaries.scm index 0060a8669e..c9bc5ca4cf 100644 --- a/build-aux/check-available-binaries.scm +++ b/build-aux/check-available-binaries.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2013, 2014, 2015, 2016 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2013, 2014, 2015, 2016, 2017 Ludovic Courtès <ludo@gnu.org> ;;; ;;; This file is part of GNU Guix. ;;; @@ -41,7 +41,9 @@ '("mips64el-linux-gnuabi64"))) (total (append native cross))) - (set-build-options store #:use-substitutes? #t) + (set-build-options store + #:use-substitutes? #t + #:substitute-urls %default-substitute-urls) (let* ((total (map derivation->output-path total)) (available (substitutable-paths store total)) (missing (lset-difference string=? total available))) |