diff options
| author | Erich Eckner <git@eckner.net> | 2018-08-16 17:42:32 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-08-16 17:42:32 +0200 |
| commit | 4bf8a71f644b03652cb1f26f9470f42c58fd7b40 (patch) | |
| tree | bc6f1a6327fbfe337912caa4c014d2fb94547b6e | |
| parent | 2d8c913796634eb09d475b2ab12e4bc4e8fe5e2b (diff) | |
| download | builder-4bf8a71f644b03652cb1f26f9470f42c58fd7b40.tar.xz | |
bin/get-package-updates: fix bug when deleting a package
| -rwxr-xr-x | bin/get-package-updates | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 4258a6e..816f2a6 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -409,7 +409,7 @@ trigger_rebuild_on_any_file_sed_expression=$( find_package_repository_to_package "${package}" "${repository}" "${git_revision}" ) else - delete_package "${package}" + delete_package 'any' "${package}" continue fi fi |