diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-17 20:15:41 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-17 20:15:41 +0100 |
| commit | 81dd557b4fe9f7a1cb1cca7822191325952a210a (patch) | |
| tree | 2a3376d4a0097bf5a72ce16c5b44824822381de3 /bin/get-package-updates | |
| parent | 670939257834da9bb71472f15c08dac4f385bcfd (diff) | |
| download | builder-81dd557b4fe9f7a1cb1cca7822191325952a210a.tar.xz | |
bin/get-package-updates: add TODO
Diffstat (limited to 'bin/get-package-updates')
| -rwxr-xr-x | bin/get-package-updates | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index e9a316b..3c7ee5b 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -7,6 +7,8 @@ # shellcheck source=conf/default.conf . "${0%/*}/../conf/default.conf" +# TODO: Find out, why sometimes package updates are missed. + usage() { >&2 echo '' >&2 echo 'get-package-updates: check for packages that need to be built,' |