diff options
author | Erich Eckner <git@eckner.net> | 2019-06-21 11:50:08 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-06-21 11:50:08 +0200 |
commit | 08ccebcc01b34730502587c6ba234a4fe2836d3f (patch) | |
tree | 15ca7d41d0e5d970397a303ca4347cc3853aae3f | |
parent | 52012fe581a9d04cf4f666309379f868b450c0c8 (diff) | |
download | builder-08ccebcc01b34730502587c6ba234a4fe2836d3f.tar.xz |
bin/sanity-check: add TODO
-rwxr-xr-x | bin/sanity-check | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index 7014129..bfbb483 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -7,6 +7,10 @@ # shellcheck source=../lib/load-configuration . "${0%/*}/../lib/load-configuration" +# TODO: a more severe sanity check of dependencies of available packages +# would be nice to have - however, this will most probably be too +# expensive to be run as regular as this script. + usage() { >&2 echo '' >&2 echo 'sanity-check [options] [checks]: check sanity of build master' |