diff options
author | Erich Eckner <git@eckner.net> | 2017-11-07 10:19:24 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-11-07 10:19:24 +0100 |
commit | 057c80e4c6f906d13d59497bd49c8b7a4a82679c (patch) | |
tree | 265951fd6b17bbfa12f5f51cb53aed91c69a0b54 | |
parent | 686a5a9e48946657c3e489bb2f5ce9e3ef4b34cc (diff) | |
download | builder-057c80e4c6f906d13d59497bd49c8b7a4a82679c.tar.xz |
bin/modify-package-state: bugfix in check of bugtracker
-rwxr-xr-x | bin/modify-package-state | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/modify-package-state b/bin/modify-package-state index 4798754..74054b5 100755 --- a/bin/modify-package-state +++ b/bin/modify-package-state @@ -186,7 +186,7 @@ fi ;; 'tested') if [ -f "${work_dir}/package-states/${package}.testing" ] && \ - ! grep -qF "[${package}]" "${tmp_dir}/package-bug-titles"; then + ! grep -qF "[${package%.*.*.*}]" "${tmp_dir}/package-bug-titles"; then mv \ "${work_dir}/package-states/${package}.testing" \ "${work_dir}/package-states/${package}.tested" |