Fix have_container seeing dead containers

diff --git a/bin/cleanbuild-docker.sh b/bin/cleanbuild-docker.sh
index cd6641f947c58d9246e2cef8794bff0fb6fbd886..0078973b89f645f3845d75e2ea1b9441873eb1cc 100755 (executable)
--- a/bin/cleanbuild-docker.sh
+++ b/bin/cleanbuild-docker.sh
@@ -61,7 +61,7 @@ tmpfs() {
 have_container() {
     local name="$1" id
 
-    id=$(docker ps -a -f "label=cleanbuild=$name" --format '{{.ID}}')
+    id=$(docker ps -f "label=cleanbuild=$name" --format '{{.ID}}')
 
     test -n "$id"
 }