]> gitweb.factorcode.org Git - factor.git/commitdiff
mason: only check docs-host if uploading docs
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 18 Jan 2023 18:20:32 +0000 (10:20 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 18 Jan 2023 18:20:32 +0000 (10:20 -0800)
extra/mason/mason.factor

index 47c1810858938df3da52dd73f66f4b4ed6b2fddd..284073fa0419487332b9dbd4ea0e0bc54dc3f240 100644 (file)
@@ -46,10 +46,12 @@ IN: mason
     ] { } make short-running-process ;
 
 : check-hosts ( -- )
-    docs-username get docs-host get check-host
     branch-username get branch-host get check-host
     package-username get package-host get check-host
-    image-username get image-host get check-host ;
+    image-username get image-host get check-host
+    upload-docs? get [
+        docs-username get docs-host get check-host
+    ] when ;
 
 : run-mason ( -- )
     check-hosts