Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/ping-to-master
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-03-24 20:51:16 +0100
committerErich Eckner <git@eckner.net>2018-03-24 20:51:16 +0100
commit8db7e5acbe9de5f44ed79ba4ce11947b3586338f (patch)
tree7ebcf856ded618abcd405963f1369db013cf5de3 /bin/ping-to-master
parent913da48c13219d5f2074880645cbaab0c76376f5 (diff)
run shellchek in same dir as script
Diffstat (limited to 'bin/ping-to-master')
-rwxr-xr-xbin/ping-to-master2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/ping-to-master b/bin/ping-to-master
index 15c9120..7a9b4cf 100755
--- a/bin/ping-to-master
+++ b/bin/ping-to-master
@@ -5,7 +5,7 @@
# - 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
+# shellcheck source=../conf/default.conf
. "${0%/*}/../conf/default.conf"
# TODO: abort build if requested to