]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.common.in
packege dependences calculation patched
[helm.git] / helm / ocaml / Makefile.common.in
index 635f37fea62fdeed509ca9e2c59068764719abc2..519b2ea9a7500e3f780af088b024d72f29168e37 100644 (file)
@@ -67,4 +67,6 @@ uninstall:
 
 .PHONY: all opt depend install uninstall clean
 
-include .depend
+ifneq ($(MAKECMDGOALS), depend)
+   include .depend   
+endif