summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2022-03-10 09:16:50 +0100
committerLudovic Courtès <ludo@gnu.org>2022-03-10 11:43:12 +0100
commit13ff4ae5b16cd46a8dfcda279f1ccda88c186804 (patch)
tree3c693bc2c4ff420a16a8d2bed4c6d99d7aa6e7eb
parentcceb5344ae64faa3079556084c7d63615df53eb4 (diff)
maint: 'assert-binaries-available' only checks ci.guix.gnu.org.
* Makefile.am (assert-binaries-available): Pass '--substitute-urls'.
-rw-r--r--Makefile.am4
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.