diff options
| -rwxr-xr-x | bin/build-packages | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bin/build-packages b/bin/build-packages index 46dcff5..73279f9 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -524,6 +524,14 @@ while [ "${count}" -ne 0 ] && \ find . -maxdepth 1 -type f \( -name '*.pkg.tar.xz' -o -name '*.pkg.tar.xz.sig' \) -exec \ rm {} \; + if echo "${outerParameters}" | \ + grep -qwF -- '-c'; then + # sometimes it is necessary to manually remove the root/ build + # directory (due to leftover mounts of /run) - so we just do + # it everytime '-c' is set + recursively_umount_and_rm '/var/lib/archbuild/'"${build_command%-build}" + fi + echo 'building' > "${tmp_dir}/.ping-build-master" >&2 printf '%s: building package "%s" (revisions %s %s, repository %s, straw %s) for %s ...' \ "$(date +'%Y-%m-%d %T')" \ |