diff options
Diffstat (limited to 'yarns/building.yarn')
-rw-r--r-- | yarns/building.yarn | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/yarns/building.yarn b/yarns/building.yarn index 52f2b561..218dde4c 100644 --- a/yarns/building.yarn +++ b/yarns/building.yarn @@ -71,9 +71,7 @@ Distbuilding ASSUMING the morph-cache-server can be run GIVEN a workspace AND a git server - AND a communal cache server - AND a distbuild worker - AND a distbuild controller + AND a distbuild network Distbuilding works much the same way as regular building. @@ -96,7 +94,5 @@ repos cached locally. > THEN morph succeeded > AND file workspace/master/test/morphs/test-system exists - FINALLY the distbuild controller is terminated - AND the distbuild worker is terminated - AND the communal cache server is terminated + FINALLY the distbuild network is terminated AND the git server is shut down |