diff options
| author | Jeremie Dimino <jdimino@janestreet.com> | 2018-02-12 11:28:42 +0000 |
|---|---|---|
| committer | Jérémie Dimino <jeremie@dimino.org> | 2018-02-12 15:59:28 +0000 |
| commit | e2847e56c9c7e040ae372795795333ea0b48e714 (patch) | |
| tree | 0782dcc4921305ef904c560e3ffc0e754ccd5b1b | |
| parent | 932f5db4425fdf7bae491d98e8cd702ab58e9667 (diff) | |
| download | ocaml-e2847e56c9c7e040ae372795795333ea0b48e714.tar.gz | |
Fix the dependencies for .p.cmx files in stdlib/
| -rw-r--r-- | stdlib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index cf11937c55..7031e2b433 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -252,7 +252,7 @@ $(OTHERS:.cmo=.cmi) std_exit.cmi: stdlib.cmi $(OBJS:.cmo=.cmx) std_exit.cmx: stdlib.cmi $(OBJS:.cmo=.p.cmx) std_exit.p.cmx: stdlib.cmi $(OTHERS:.cmo=.cmx) std_exit.cmx: stdlib.cmx -$(OTHERS:.cmo=.p.cmx) std_exit.p.cmx: stdlib.p.cmx +$(OTHERS:.cmo=.p.cmx) std_exit.p.cmx: stdlib.cmx clean:: rm -f *.cm* *.$(O) *.$(A) *.odoc |