diff options
| author |  Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-02-27 15:43:06 +0100 |
|---|---|---|
| committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-02-27 15:43:06 +0100 |
| commit | f4d7d60b90ee03179479f8e3427bd1a5729135f2 (patch) | |
| tree | 722e53aedbd3652bc4dfeef0fb971e9f333265fe | |
| parent | 9fea58122001535bdee63317b56f2afb727167c7 (diff) | |
Make coq_makefile generate double-colon rules for clean and archclean. (Fix bug #4080)
| -rw-r--r-- | tools/coq_makefile.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml index 84b4b5e5d..85206b823 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") |