diff options
Diffstat (limited to 'bin/ping-from-slave')
| -rwxr-xr-x | bin/ping-from-slave | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/ping-from-slave b/bin/ping-from-slave index 7611f44..5ba8395 100755 --- a/bin/ping-from-slave +++ b/bin/ping-from-slave @@ -5,6 +5,8 @@ # - show that the build is still running # - get notified by the build master if the build is not necessary anymore +# shellcheck disable=SC2119,SC2120 + # shellcheck source=../conf/default.conf . "${0%/*}/../conf/default.conf" |