From 57eee2407c584910a1747d9350cec4fb2420a338 Mon Sep 17 00:00:00 2001
From: Christian Hesse <mail@eworm.de>
Date: Tue, 28 Jan 2020 14:15:00 +0100
Subject: build: add target docker-clean

This removes the docker image and volume `vis` and thus purges everything
we added in docker.
---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index b42eed9..727e57d 100644
--- 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
-- 
cgit v1.2.3