X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fsaturate%2FMakefile;h=ecd8d9111e0d868030413700112e4cfa334b2aaa;hb=320c0f89a7e31e996b6eff2b4165eb74e8141cec;hp=40ff4c3a7218ec9f4914f1ddf80e25cd145c0fd1;hpb=fc4cf455977934bd737c3d6c8675ef7663a6a588;p=helm.git

diff --git a/helm/software/components/binaries/saturate/Makefile b/helm/software/components/binaries/saturate/Makefile
index 40ff4c3a7..ecd8d9111 100644
--- a/helm/software/components/binaries/saturate/Makefile
+++ b/helm/software/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