X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2FMakefile.common;h=c9173f76c4a2be9ee5fee6bdc8cd4a2910f04266;hb=8659e85d49be1ad72622d4d3a73d384b744c3c08;hp=c4a276b82ab2772d8a145b01e387364e21f9a5e5;hpb=f3b4d265268a43ca98e6843b733109fdfe3f6b0b;p=helm.git

diff --git a/helm/software/lambda-delta/Makefile.common b/helm/software/lambda-delta/Makefile.common
index c4a276b82..c9173f76c 100644
--- a/helm/software/lambda-delta/Makefile.common
+++ b/helm/software/lambda-delta/Makefile.common
@@ -66,7 +66,3 @@ tgz: clean
 ifeq ($(MAKECMDGOALS), $(MAIN).opt)
   include .depend.opt
 endif
-
-ifeq ($(MAKECMDGOALS), test)
-  include .depend.opt
-endif