X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2FMakefile.common;h=c4a276b82ab2772d8a145b01e387364e21f9a5e5;hb=09485b72e01e5aa1d2a03fa56e3c7e0dfef7d3d3;hp=0adedde842b7d0a8c60e1db26cf312cae2d7aff6;hpb=973b0b1fd5f44b96a3c367a9756f28b75b9fa30b;p=helm.git

diff --git a/helm/software/lambda-delta/Makefile.common b/helm/software/lambda-delta/Makefile.common
index 0adedde84..c4a276b82 100644
--- a/helm/software/lambda-delta/Makefile.common
+++ b/helm/software/lambda-delta/Makefile.common
@@ -64,5 +64,9 @@ tgz: clean
 	$(H)$(OCAMLOPT) -c $<
 
 ifeq ($(MAKECMDGOALS), $(MAIN).opt)
-  include .depend.opt   
+  include .depend.opt
+endif
+
+ifeq ($(MAKECMDGOALS), test)
+  include .depend.opt
 endif