diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-08 13:04:49 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-08 13:04:49 +0200 |
| commit | 7ce25b7eb99c8e2fa536d2842f012ebba4f40b55 (patch) | |
| tree | 780337946a186dc9f71fb57b7889fede34c825be | |
| parent | 62faa086b671fe85cbb78993e9c28fc5eb7935f2 (diff) | |
| download | builder-7ce25b7eb99c8e2fa536d2842f012ebba4f40b55.tar.xz | |
bin/sanity-check: add TODO
| -rwxr-xr-x | bin/sanity-check | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index 0a3853f..1ebd86e 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -7,6 +7,8 @@ # shellcheck source=../lib/load-configuration . "${0%/*}/../lib/load-configuration" +# TODO: move mysql sanity check from build-master-status to here + usage() { >&2 echo '' >&2 echo 'sanity-check [options] [checks]: check sanity of build master' |