diff options
| -rwxr-xr-x | build-all-with-docker | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build-all-with-docker b/build-all-with-docker index 091c97225..4c6a25dc4 100755 --- a/build-all-with-docker +++ b/build-all-with-docker @@ -91,3 +91,4 @@ while docker ps --no-trunc | grep -wF "${ids}"; do done check_and_commit_package_updates +rm -f */logpipe.* |