]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/binaries/saturate/Makefile
Huge commit with several changes:
[helm.git] / helm / software / components / binaries / saturate / Makefile
index 567e3b0d3e58abca88e0c89a8bb34a179888f317..ecd8d9111e0d868030413700112e4cfa334b2aaa 100644 (file)
@@ -28,5 +28,6 @@ clean:
        $(H)rm -f saturate saturate.opt
 
 depend:
+depend.opt:
 
 include ../../../Makefile.defs