From f4d7d60b90ee03179479f8e3427bd1a5729135f2 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 27 Feb 2015 15:43:06 +0100
Subject: Make coq_makefile generate double-colon rules for clean and
 archclean. (Fix bug #4080)

---
 tools/coq_makefile.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index 84b4b5e5df..85206b8232 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -321,7 +321,7 @@ let make_makefile sds =
   end
 
 let clean sds sps =
-  print "clean:\n";
+  print "clean::\n";
   if !some_mlfile || !some_mlifile || !some_ml4file || !some_mllibfile || !some_mlpackfile then begin
     print "\trm -f $(ALLCMOFILES) $(CMIFILES) $(CMAFILES)\n";
     print "\trm -f $(ALLCMOFILES:.cmo=.cmx) $(CMXAFILES) $(CMXSFILES) $(ALLCMOFILES:.cmo=.o) $(CMXAFILES:.cmxa=.a)\n";
@@ -343,7 +343,7 @@ let clean sds sps =
     (fun x -> print "\t+cd "; print x; print " && $(MAKE) clean\n")
     sds;
   print "\n";
-  print "archclean:\n";
+  print "archclean::\n";
   print "\trm -f *.cmx *.o\n";
   List.iter
     (fun x -> print "\t+cd "; print x; print " && $(MAKE) archclean\n")
-- 
cgit v1.2.3