diff options
| author | Erich Eckner <git@eckner.net> | 2018-11-17 15:44:49 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-11-17 15:44:49 +0100 |
| commit | cdb5e2c694819e3201c335c462883758ce2f5baa (patch) | |
| tree | bfad1d0917b4175af564638e6b8fa38461fb5f1a /bin/ping-to-master | |
| parent | 95547bc7cc1e6211ef36d42d16fea6958bea27ee (diff) | |
| download | builder-cdb5e2c694819e3201c335c462883758ce2f5baa.tar.xz | |
bin/ping-to-master: fix typo in comment
Diffstat (limited to 'bin/ping-to-master')
| -rwxr-xr-x | bin/ping-to-master | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/ping-to-master b/bin/ping-to-master index 3979656..b1539cc 100755 --- a/bin/ping-to-master +++ b/bin/ping-to-master @@ -1,6 +1,6 @@ #!/bin/sh -# periodically connects to the buildmaster to call ping-from slave to: +# periodically connects to the buildmaster to call ping-from-slave to: # - report any update on the build process # - show that the build is still running # - get notified by the build master if the build is not necessary anymore |