diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-06-03 09:04:48 +0200 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2018-06-07 09:54:13 +0200 |
| commit | a1bc562d8ae4f8a6786722264fb2f38606e55655 (patch) | |
| tree | ffe962314875da5050aef5b146b1a7e59a30dc6d /stdlib/Makefile | |
| parent | ac3ed00e673bce1183bb4ea63adc83f508066808 (diff) | |
| download | ocaml-a1bc562d8ae4f8a6786722264fb2f38606e55655.tar.gz | |
makefiles: consistently offer *both* 'allopt' and 'opt.opt' targets
Some makefiles (lex, stdlib, otherlibs) would only offer allopt, while
others (ocamldoc, tools) only offered opt.opt. It is inconvenient to
have to remember which target name to use while going through various
repositories.
Diffstat (limited to 'stdlib/Makefile')
| -rw-r--r-- | stdlib/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index 56d8426e74..25d1afc611 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -75,8 +75,9 @@ else PROFILINGTARGET = noprof endif -.PHONY: allopt +.PHONY: allopt opt.opt # allopt and opt.opt are synonyms allopt: stdlib.cmxa std_exit.cmx allopt-$(PROFILINGTARGET) +opt.opt: allopt .PHONY: allopt-noprof allopt-noprof: |