X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMakefile.common.in;h=519b2ea9a7500e3f780af088b024d72f29168e37;hb=1a177a0ccffd1481f77dabaafced91c4d293b1fb;hp=635f37fea62fdeed509ca9e2c59068764719abc2;hpb=b3e00c5c1ff91409a2065feac83b3feec65cc474;p=helm.git

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index 635f37fea..519b2ea9a 100644
--- a/helm/ocaml/Makefile.common.in
+++ b/helm/ocaml/Makefile.common.in
@@ -67,4 +67,6 @@ uninstall:
 
 .PHONY: all opt depend install uninstall clean
 
-include .depend
+ifneq ($(MAKECMDGOALS), depend)
+   include .depend   
+endif