Add `make realclean' target for removing cached Docker images from a build.

[arvados.git] / docker / Makefile

diff --git a/docker/Makefile b/docker/Makefile
index 3b21b43c65095dd36fac54c98db18ba27f110852..5ff415a6d7783be76d79ba2fe972d567b3acb4be 100644 (file)
--- a/docker/Makefile
+++ b/docker/Makefile
@@ -1,8 +1,17 @@
 all: api-image doc-image workbench-image warehouse-image sso-image
 
+# `make clean' removes the files generated in the build directory
+# but does not remove any docker images generated in previous builds
 clean:
        -rm *-image */generated/*
 
+# `make realclean' will also remove the docker images and force
+# subsequent makes to build the entire chain from the ground up
+realclean: clean
+       docker stop $(docker ps -q)
+       docker rm $(docker ps -a -q)
+       docker rmi $(docker images -q)
+
 # ============================================================
 # Dependencies for */generated files which are prerequisites
 # for building docker images.