diff options
| author | Erich Eckner <git@eckner.net> | 2020-06-05 20:30:19 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-06-05 20:30:26 +0200 |
| commit | a189bd13196cc7177fc27045e691064b070efa52 (patch) | |
| tree | 96d4eba850a2df571d1659f639208da99c6821f7 /bin/db-update | |
| parent | cb5135394fb0a2a11071c8c9bbecdb76894c94e2 (diff) | |
| download | builder-a189bd13196cc7177fc27045e691064b070efa52.tar.xz | |
bin/db-update: add TODO
Diffstat (limited to 'bin/db-update')
| -rwxr-xr-x | bin/db-update | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/db-update b/bin/db-update index 6f4ff8e..bd6b3cf 100755 --- a/bin/db-update +++ b/bin/db-update @@ -9,6 +9,8 @@ # TODO: make (all) locking less restrictive +# TODO: intentionally break packages that failed to build for a certain time + # shellcheck disable=SC2039,SC2119,SC2120 # shellcheck source=../lib/load-configuration |