diff options
author | Lars Wirzenius <liw@liw.fi> | 2020-04-09 18:59:38 +0300 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2020-04-09 18:59:38 +0300 |
commit | 840300655a0bab67c2bfe8243578ee10deb3c822 (patch) | |
tree | 188a7a3a00a21ee4f519cc6bc5e469886a3bc6c2 /contractor.md | |
parent | 44f50e884d5a4e14c404bf0412b996aa4f3c351c (diff) | |
download | ick-contractor-840300655a0bab67c2bfe8243578ee10deb3c822.tar.gz |
Fix: shut down worker cleanly at end
So that workspace disk gets synced and unmounted cleanly. Otherwise we
lose data there.
Diffstat (limited to 'contractor.md')
-rw-r--r-- | contractor.md | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/contractor.md b/contractor.md index c5a101f..c612143 100644 --- a/contractor.md +++ b/contractor.md @@ -305,8 +305,7 @@ instead of YAML, to make sure the program doesn't just copy input to output. ~~~scenario -given file hello.c -and file dump.yaml +given file dump.yaml when I run contractor dump dump.yaml then the JSON output matches dump.yaml ~~~ @@ -340,7 +339,7 @@ and file hello.yaml and file worker.img from source directory when I run contractor build hello.yaml then exit code is 0 -then file ws/hello exists +then file ws/src/hello exists ~~~ ~~~{.file #hello.c .c .numberLines} @@ -360,7 +359,10 @@ install: source: . workspace: ws build: | + touch hi gcc hello.c -o hello + ./hello + find -ls ~~~ ### Ubuntu smoke test (FIXME) |