diff options
| author | Erich Eckner <git@eckner.net> | 2018-09-03 15:30:08 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-09-03 15:30:08 +0200 |
| commit | a06fade4103341c358234bd21dcee9c15ee1d6c4 (patch) | |
| tree | 0d2cbcce8ce901a29eb8236b2d0ebc7f9f4167e2 /bin/seed-build-list | |
| parent | db5448138b313407d8062c04ed6df458ff64c66f (diff) | |
| download | builder-a06fade4103341c358234bd21dcee9c15ee1d6c4.tar.xz | |
bin/seed-build-list, bin/get-package-updates: sort versions if necessary
Diffstat (limited to 'bin/seed-build-list')
| -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 5f035ce..0e8c425 100755 --- a/bin/seed-build-list +++ b/bin/seed-build-list @@ -591,6 +591,8 @@ if ${update}; then } | \ mysql_run_query + mysql_sort_versions + rm -f "${build_list_lock_file}" else cat "${tmp_dir}/update-list" |