X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fsaturate%2FMakefile;h=ecd8d9111e0d868030413700112e4cfa334b2aaa;hb=18beb4339a683c5b6243673b91da878a208b36e3;hp=567e3b0d3e58abca88e0c89a8bb34a179888f317;hpb=58955ec841575330f0b429033264f9ec7df319f9;p=helm.git

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