[vlc-devel] [PATCH] tools: don't keep files that failed to download

[Steve Lhomme]

--
deprecates https://patches.videolan.org/patch/12214/
---
 extras/tools/tools.mak | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/extras/tools/tools.mak b/extras/tools/tools.mak
index 69a8d2d..66bb101 100644
--- a/extras/tools/tools.mak
+++ b/extras/tools/tools.mak
@@ -298,3 +298,5 @@ distclean: clean
 	rm -fr $(DISTCLEAN_PKG)
 
 .PHONY: all clean distclean
+
+.DELETE_ON_ERROR:
-- 
2.7.0