diff options
| -rwxr-xr-x | build-all-with-docker | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/build-all-with-docker b/build-all-with-docker index 14d9410ab..f7dc4f9d5 100755 --- a/build-all-with-docker +++ b/build-all-with-docker @@ -2,9 +2,17 @@ cd "$(dirname "$(readlink -e "$0")")" -for pkg in */PKGBUILD; do - cd "${pkg%/PKGBUILD}" - docker run -d -v .:/build arch-build:latest - docker run -d -v .:/build artix-build:latest - cd .. +ids=$( + for pkg in */PKGBUILD; do + cd "${pkg%/PKGBUILD}" + docker run -d -v .:/build arch-build:latest + docker run -d -v .:/build artix-build:latest + cd .. + done \ + | tee /dev/stderr +) + +while docker ps --no-trunc | grep -wF "${ids}"; do + sleep 10 + date done |