| index : builder | |
| Archlinux32 build system | gitolite user |
| summaryrefslogtreecommitdiff |
| author | Erich Eckner <git@eckner.net> | 2018-03-24 20:51:16 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-03-24 20:51:16 +0100 |
| commit | 8db7e5acbe9de5f44ed79ba4ce11947b3586338f (patch) | |
| tree | 7ebcf856ded618abcd405963f1369db013cf5de3 /bin/ping-to-master | |
| parent | 913da48c13219d5f2074880645cbaab0c76376f5 (diff) | |
| -rwxr-xr-x | bin/ping-to-master | 2 |
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 |