avoids generating a wrong/empty/dummy depend

[helm.git] / helm / matita / library / Makefile

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 1a5411c2caaa73202a0c6453467f27799c937a81..820603831a9b0cd3e477643e4686d4f1a7b7c470 100644 (file)
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -46,6 +46,6 @@ depend:
        $(H)$(MATITAC) $< || $(MATITACLEAN) $<
 
 $(DEPEND_NAME): $(SRC)
-       $(H)$(MATITADEP) $(SRC) > $@
+       $(H)$(MATITADEP) $(SRC) > $@ || rm -f $@
 
 include $(DEPEND_NAME)