]> matita.cs.unibo.it Git - helm.git/commitdiff
avoids generating a wrong/empty/dummy depend
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 19 Jul 2005 09:59:04 +0000 (09:59 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 19 Jul 2005 09:59:04 +0000 (09:59 +0000)
helm/matita/library/Makefile

index 1a5411c2caaa73202a0c6453467f27799c937a81..820603831a9b0cd3e477643e4686d4f1a7b7c470 100644 (file)
@@ -46,6 +46,6 @@ depend:
        $(H)$(MATITAC) $< || $(MATITACLEAN) $<
 
 $(DEPEND_NAME): $(SRC)
-       $(H)$(MATITADEP) $(SRC) > $@
+       $(H)$(MATITADEP) $(SRC) > $@ || rm -f $@
 
 include $(DEPEND_NAME)