index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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 /bin/seed-build-list | |
parent | 7f56d9523dd2c77c7de3d8213f7d55a92ca7a901 (diff) |
-rwxr-xr-x | bin/seed-build-list | 2 |
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}" |