]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Makefile.common
- new semantic log system
[helm.git] / helm / software / lambda-delta / Makefile.common
index c4a276b82ab2772d8a145b01e387364e21f9a5e5..c9173f76c4a2be9ee5fee6bdc8cd4a2910f04266 100644 (file)
@@ -66,7 +66,3 @@ tgz: clean
 ifeq ($(MAKECMDGOALS), $(MAIN).opt)
   include .depend.opt
 endif
-
-ifeq ($(MAKECMDGOALS), test)
-  include .depend.opt
-endif