Skip to content

Commit

Permalink
Tweak usage message
Browse files Browse the repository at this point in the history
and add missing newline
  • Loading branch information
xrchz committed Nov 15, 2017
1 parent 5d94781 commit 1941e7f
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions worker.sml
Original file line number Diff line number Diff line change
Expand Up @@ -30,8 +30,8 @@ fun usage_string name = String.concat[
" --resume id : Assume job <id> has previously been claimed by this worker and\n",
" attempt to start running it again. If the job fails again,\n",
" exit (even without --no-loop).\n",
" --upload id : Assume this worker has just finished job <id> and manually upload",
" its build artefacts (usually automatic after running a job).\n",
" --upload id : Assume this worker has just finished job <id> and manually upload\n",
" its build artefacts (usually automatic after a job), then exit.\n",
" --abort id : Mark job <id> as having aborted, i.e., stopped without a proper\n",
" success or failure, then exit.\n",
" --refresh : Refresh the server's waiting queue from GitHub then exit.\n"];
Expand Down

0 comments on commit 1941e7f

Please sign in to comment.