tools(docker): Fix clean target

2020-05-13 17:33:39 +02:00
parent e3f500947b
commit 235c34848f
1 changed files with 1 additions and 1 deletions
--- a/tools/docker/Makefile
+++ b/tools/docker/Makefile
@@ -296,7 +296,7 @@ clean_python:
 	-rmdir export/python

 .PHONY: clean
-clean: $(targets) clean_python
+clean: $(targets) clean_cc clean_java clean_dotnet clean_python
 	docker container prune -f
 	docker image prune -f
 	-rmdir cache