diff options
author | Ludovic Courtès <ludo@gnu.org> | 2022-03-10 09:16:50 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-03-10 11:43:12 +0100 |
commit | 13ff4ae5b16cd46a8dfcda279f1ccda88c186804 (patch) | |
tree | 3c693bc2c4ff420a16a8d2bed4c6d99d7aa6e7eb | |
parent | cceb5344ae64faa3079556084c7d63615df53eb4 (diff) |
maint: 'assert-binaries-available' only checks ci.guix.gnu.org.
* Makefile.am (assert-binaries-available): Pass '--substitute-urls'.
-rw-r--r-- | Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 8850c4562c..7402c89b62 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1027,10 +1027,12 @@ assert-no-store-file-names: exit 1 ; \ fi -# Make sure important substitutes are available. +# Make sure important substitutes are available. Check only the primary +# server so that '--display-missing' doesn't print two lists. assert-binaries-available: $(GOBJECTS) $(AM_V_at)$(top_builddir)/pre-inst-env \ guix weather -m "$(top_srcdir)/etc/release-manifest.scm" \ + --substitute-urls="https://ci.guix.gnu.org" \ --display-missing # Make sure the final inputs don't refer to bootstrap tools. |