diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-01 14:37:10 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-01 14:37:10 +0100 |
| commit | d20f51b10b8a10894ed5a8a3dd5bdc405da1f0b2 (patch) | |
| tree | d10d33bf7fcef24e42566fcaf44820a5b0880b70 /bin | |
| parent | 8b5a6a2d2ea6bc3c3489fac97f9a813adf072e59 (diff) | |
| download | builder-d20f51b10b8a10894ed5a8a3dd5bdc405da1f0b2.tar.xz | |
bin/modify-package-state: add TODO
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/modify-package-state | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/modify-package-state b/bin/modify-package-state index 38e099a..2b1c10b 100755 --- a/bin/modify-package-state +++ b/bin/modify-package-state @@ -152,6 +152,7 @@ fi fi ;; 'tested') + # TODO: check in bugtracker if package is faulty if [ -f "${work_dir}/package-states/${package}.testing" ]; then mv \ "${work_dir}/package-states/${package}.testing" \ |