diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-12 16:18:25 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-12 16:18:25 +0200 |
| commit | 6fbd2435443e9cc9ca51bcfd640ca88e66941d18 (patch) | |
| tree | f3437b71221e05cd999fddebdf1146d8d0a4ddc2 | |
| parent | 7f56d9523dd2c77c7de3d8213f7d55a92ca7a901 (diff) | |
| download | builder-6fbd2435443e9cc9ca51bcfd640ca88e66941d18.tar.xz | |
bin/seed-build-list: should run mysql_cleanup() in the end, too (like bin/get-package-updates)
| -rwxr-xr-x | bin/seed-build-list | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/seed-build-list b/bin/seed-build-list index 432ef6c..d00b2ee 100755 --- a/bin/seed-build-list +++ b/bin/seed-build-list @@ -597,6 +597,8 @@ if ${update}; then } | \ mysql_run_query + mysql_cleanup + mysql_sort_versions rm -f "${build_list_lock_file}" |