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