diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-14 12:57:32 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-14 12:57:32 +0100 |
| commit | db92162d34177ff7eec40157181506b4f551ab1e (patch) | |
| tree | c51123e5b7f1607ee035e0299cf596387e167552 | |
| parent | 203a1863969a9b3cc0ce28b2a179a44e14a3187a (diff) | |
| download | builder-db92162d34177ff7eec40157181506b4f551ab1e.tar.xz | |
bin/get-package-updates: bugfix if package is deleted from modifications repository
| -rwxr-xr-x | bin/get-package-updates | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index bd43d62..fda84ba 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -220,6 +220,9 @@ done | \ done if ${found_package}; then mode='M' + repository=$( + find_package_repository_to_package "${package}" "${repository}" + ) else delete_package "${package}" continue |