diff options
Diffstat (limited to 'gnu/services')
| -rw-r--r-- | gnu/services/cuirass.scm | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gnu/services/cuirass.scm b/gnu/services/cuirass.scm index 99b137e05e..f0df5a6824 100644 --- a/gnu/services/cuirass.scm +++ b/gnu/services/cuirass.scm @@ -72,6 +72,8 @@ (default "/var/log/cuirass-remote-server.log")) (cache cuirass-remote-server-configuration-cache ;string (default "/var/cache/cuirass/remote/")) + (no-publish? cuirass-remote-server-configuration-no-publish? ;boolean + (default #f)) (trigger-url cuirass-remote-server-trigger-url ;string (default #f)) (public-key cuirass-remote-server-configuration-public-key ;string @@ -191,8 +193,8 @@ (stop #~(make-kill-destructor))) ,@(if remote-server (match-record remote-server <cuirass-remote-server-configuration> - (backend-port publish-port log-file cache trigger-url - public-key private-key) + (backend-port publish-port log-file cache no-publish? + trigger-url public-key private-key) (list (shepherd-service (documentation "Run Cuirass remote build server.") @@ -225,6 +227,9 @@ "--trigger-substitute-url=" trigger-url)) '()) + #$@(if no-publish? + (list "--no-publish") + '()) #$@(if public-key (list (string-append "--public-key=" |