X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fbinaries%2Fsaturate%2FMakefile;h=ecd8d9111e0d868030413700112e4cfa334b2aaa;hb=15417a6cd2d1ce39afc67d36436864978ec7a8e2;hp=567e3b0d3e58abca88e0c89a8bb34a179888f317;hpb=4cdf45f08cd95641a094312ddc558320b874fa16;p=helm.git

diff --git a/components/binaries/saturate/Makefile b/components/binaries/saturate/Makefile
index 567e3b0d3..ecd8d9111 100644
--- a/components/binaries/saturate/Makefile
+++ b/components/binaries/saturate/Makefile
@@ -28,5 +28,6 @@ clean:
 	$(H)rm -f saturate saturate.opt
 
 depend:
+depend.opt:
 
 include ../../../Makefile.defs