From a31f6789da91826a6b4e54ba82f84024d8f6822e Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Fri, 29 Jul 2011 17:08:47 +0100 Subject: [PATCH] Don't delete old dependency file unless new one builds. --- Makefile.am | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile.am b/Makefile.am index 8a0be7c..09cb806 100644 --- a/Makefile.am +++ b/Makefile.am @@ -222,7 +222,6 @@ docs: depend: .depend .depend: $(wildcard *.mli) $(wildcard *.ml) - rm -f $@ $@-t $(OCAMLFIND) ocamldep $(OCAMLPACKAGES) $^ | \ $(SED) -e :a -e '/ *\\$$/N; s/ *\\\n */ /; ta' | \ sort > $@-t -- 1.8.3.1