vis

commit 9e4da14106ebc4c377917c95398507f5b406d8ae
parent c0571c0d6486a3d624029d80a735fa30b8bb6f85
Author: Christian Hesse <mail@eworm.de>
Date:   Tue, 28 Jan 2020 14:15:00 +0100

build: add target docker-clean

This removes the docker image and volume `vis` and thus purges everything
we added in docker.

Diffstat:
M
Makefile
 | 
5
++++-

1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -94,6 +94,9 @@ docker: clean
 	docker cp vis:/build/vis/vis-single vis
 	docker kill vis
 
+docker-clean: clean
+	-docker image rm vis
+
 debug: clean
 	@$(MAKE) CFLAGS_EXTRA='${CFLAGS_EXTRA} ${CFLAGS_DEBUG}'
 
@@ -180,4 +183,4 @@ uninstall:
 	@echo removing support files from ${DESTDIR}${SHAREPREFIX}/vis
 	@rm -rf ${DESTDIR}${SHAREPREFIX}/vis
 
-.PHONY: all clean dist install uninstall debug profile coverage test test-update luadoc luadoc-all luacheck man docker
+.PHONY: all clean dist install uninstall debug profile coverage test test-update luadoc luadoc-all luacheck man docker docker-clean