diff options
author | Erich Eckner <git@eckner.net> | 2018-05-25 16:14:32 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-05-25 16:14:32 +0200 |
commit | 97f51d4853b6514b52910693bf9d15d08ec924ae (patch) | |
tree | a1760051cce5c55eda614be5049db8509090358b | |
parent | 4a989e5baf44fc933ca39dbcadc7c49b5e9e408d (diff) | |
download | builder-97f51d4853b6514b52910693bf9d15d08ec924ae.tar.xz |
bin/ping-from-slave: add TODO
-rwxr-xr-x | bin/ping-from-slave | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/ping-from-slave b/bin/ping-from-slave index bb569dd..2ae9f7e 100755 --- a/bin/ping-from-slave +++ b/bin/ping-from-slave @@ -10,7 +10,7 @@ # shellcheck source=../lib/load-configuration . "${0%/*}/../lib/load-configuration" -# TODO: receive/save some statistics about current build +# TODO: receive and save number of trials so far if [ "$( # shellcheck disable=SC2016,SC2154 |