diff options
| -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" \ |