docker: fix option to delete docker img.

2018-12-12 14:37:05 +00:00 · 2018-12-12 14:37:05 +00:00 · f1185813ca
commit f1185813ca
parent 2c601025c0
1 changed files with 1 additions and 1 deletions
--- a/docker/Makefile
+++ b/docker/Makefile
@ -40,4 +40,4 @@ clean:
 	@echo "* Done."

 delete_img:
-    sudo docker system prune -a
+	@sudo docker system prune -a