diff options
| author | Erich Eckner <git@eckner.net> | 2018-02-06 20:52:56 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-02-06 20:52:56 +0100 |
| commit | 31dfe057f9b5667991f3c7809a13a87485f32ac6 (patch) | |
| tree | dcb2b28f2810cf7e7be4dfb2e18f661f64c9128e /bin/ping-from-slave | |
| parent | 86823d203d23536386d7c01356e2a5a6df810adf (diff) | |
| download | builder-31dfe057f9b5667991f3c7809a13a87485f32ac6.tar.xz | |
bin/ping-from-slave new
Diffstat (limited to 'bin/ping-from-slave')
| -rwxr-xr-x | bin/ping-from-slave | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bin/ping-from-slave b/bin/ping-from-slave new file mode 100755 index 0000000..4013269 --- /dev/null +++ b/bin/ping-from-slave @@ -0,0 +1,11 @@ +#!/bin/sh + +# should be called periodically on the build-master from the slaves 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 + +# shellcheck source=conf/default.conf +. "${0%/*}/../conf/default.conf" + +# TODO: acutally do something here :-) |