Trying to avoid failure when cleaning.

FreeFem · Oct 15, 2019 · a3d1877 · a3d1877
1 parent 616b333
commit a3d1877
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.jenkins/clean.sh b/.jenkins/clean.sh
@@ -1,4 +1,6 @@
 #!/bin/bash
 
+sudo docker container stop $(sudo docker container ls -aq)
+sudo docker container rm $(sudo docker container ls -aq)
 sudo docker rm $(sudo docker ps -a -q)
-sudo docker rmi $(sudo docker images -q)
+sudo docker rmi $(sudo docker images -q)