docker: fix cleanup when rebuilding image

2019-03-25 10:25:47 +01:00
parent 640569a9ca
commit 1a53d1d749
1 changed files with 1 additions and 0 deletions
--- a/tools/docker/Makefile
+++ b/tools/docker/Makefile
@@ -118,6 +118,7 @@ docker_ubuntu-18.10: export/ubuntu-18.10/docker.tar
 # before the image is built...
 export/%/docker.tar: %.Dockerfile ../Makefile.cc.java.dotnet ../../makefiles ../../ortools | export/%
 	-docker image rm -f or-tools_$*:devel 2>/dev/null
+	-rm -f export/$*/docker.tar
 	cp or-tools.snk export/$*/
 	$(DOCKER_BUILD_CMD) \
 -f $< \