diff options
author | Erich Eckner <git@eckner.net> | 2017-04-23 02:47:02 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-04-23 02:47:02 +0200 |
commit | 80014e3e0847537ed3f7d711b83befc1afd9cc13 (patch) | |
tree | b12ac9dfbb4bcd3d10710c1a418b7c41dfb9c8a4 /bin/get-package-updates | |
parent | 2d9d1a63a5757e611103507f60de9fd5f3cb0031 (diff) | |
download | builder-80014e3e0847537ed3f7d711b83befc1afd9cc13.tar.xz |
bin/get-package-updates: be more stable
Diffstat (limited to 'bin/get-package-updates')
-rwxr-xr-x | bin/get-package-updates | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 446f977..9b895c4 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -114,6 +114,7 @@ echo 'Extract dependencies of packages.' mkdir -p "${work_dir}/package-infos" rm -f "${work_dir}/build-order" +touch "${work_dir}/build-order" while read -r package git_rev repository; do PKGBUILD="$(find_pkgbuild "${package}" "${repository}")" @@ -123,6 +124,13 @@ while read -r package git_rev repository; do exit 1 fi + ls -1 "${work_dir}/package-infos" | \ + grep "^${package}"'\.[0-9a-f]\{40\}\.\(builds\|needs\)$' | \ + grep -v "^${package}\.${git_rev}"'\.\(builds\|needs\)$' | \ + while read file; do + echo rm "${work_dir}/package-infos/${file}" + done + if [ ! -e "${work_dir}/package-infos/${package}.${git_rev}.builds" ] || \ [ ! -e "${work_dir}/package-infos/${package}.${git_rev}.needs" ]; then |