[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[no subject]
From: |
Mathieu Othacehe |
Date: |
Thu, 12 Aug 2021 04:55:43 -0400 (EDT) |
branch: master
commit f1c27c35971baf54ebb9e4cb0831951ca8f91cf8
Author: Mathieu Othacehe <othacehe@gnu.org>
AuthorDate: Thu Aug 12 10:53:02 2021 +0200
remote: Make the set-build-options* url argument optional.
* src/cuirass/remote.scm (set-build-options*): Do not add the URL to the
substitutes-urls if it's FALSE.
---
src/cuirass/remote.scm | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/src/cuirass/remote.scm b/src/cuirass/remote.scm
index b5b2ac6..6dc4b43 100644
--- a/src/cuirass/remote.scm
+++ b/src/cuirass/remote.scm
@@ -209,7 +209,8 @@ given NAME."
#:key
timeout
max-silent)
- "Add URL to the list of STORE substitutes-urls."
+ "Maybe add URL to the list of STORE substitutes-urls, set TIMEOUT and
+MAX-SILENT store properties."
(set-build-options store
#:use-substitutes? #t
#:fallback? #t
@@ -218,7 +219,9 @@ given NAME."
#:max-silent-time max-silent
#:verbosity 1
#:substitute-urls
- (cons url %default-substitute-urls)))
+ (if url
+ (cons url %default-substitute-urls)
+ %default-substitute-urls)))
(define* (publish-server port
#:key