diff options
| author | Erich Eckner <git@eckner.net> | 2019-06-21 12:06:15 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-06-21 12:06:15 +0200 |
| commit | 47a12322adb7c4286e4d6c15b07ad121b02cb3fd (patch) | |
| tree | 2a247a0ba23a0a73d35c0ce0cb107f46cb2e9d7b | |
| parent | 08ccebcc01b34730502587c6ba234a4fe2836d3f (diff) | |
| download | builder-47a12322adb7c4286e4d6c15b07ad121b02cb3fd.tar.xz | |
bin/sanity-check: extend TODO
| -rwxr-xr-x | bin/sanity-check | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/sanity-check b/bin/sanity-check index bfbb483..3813f22 100755 --- a/bin/sanity-check +++ b/bin/sanity-check @@ -9,7 +9,9 @@ # 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. +# expensive to be run as regular as this script. It would be also nice +# to have the possibility to fix broken dependencies in the database +# automatically. usage() { >&2 echo '' |