X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fbinaries%2Fsaturate%2FMakefile;h=ecd8d9111e0d868030413700112e4cfa334b2aaa;hb=24dd4569daf1d35bffaa813b8164058d8643f14d;hp=40ff4c3a7218ec9f4914f1ddf80e25cd145c0fd1;hpb=801f0eb3eabe1cbcd66d6a3f52c24eb8f1189611;p=helm.git

diff --git a/components/binaries/saturate/Makefile b/components/binaries/saturate/Makefile
index 40ff4c3a7..ecd8d9111 100644
--- a/components/binaries/saturate/Makefile
+++ b/components/binaries/saturate/Makefile
@@ -27,4 +27,7 @@ clean:
 	$(H)rm -f *.cm[iox] *.a *.o
 	$(H)rm -f saturate saturate.opt
 
+depend:
+depend.opt:
+
 include ../../../Makefile.defs