diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2018-04-10 10:12:27 +0200 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2018-04-10 14:16:26 +0200 |
| commit | 766b4cea656e7f9543df82a7bc65a6438f87ca57 (patch) | |
| tree | df78d66e6606c7346ee48b1e572f21337c1943af /stdlib/Makefile | |
| parent | 7c416d1c01f82122b767cd6f08ca7d0839fd15fa (diff) | |
| download | ocaml-766b4cea656e7f9543df82a7bc65a6438f87ca57.tar.gz | |
small portability fix to "make depend"
Diffstat (limited to 'stdlib/Makefile')
| -rw-r--r-- | stdlib/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index 0ced475b21..ef7a8d4ff7 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -291,7 +291,7 @@ depend: | sed -e 's/\.cmx : /.p.cmx : /g' >>.depend.tmp $(CAMLDEP) -slash -pp "$(AWK) -f remove_module_aliases.awk" stdlib.ml \ | sed -e 's/\.cmx : /.p.cmx : /g' >> .depend.tmp - sed -re \ + sed -Ee \ 's#(^| )(${subst ${SPACE},|,${PREFIXED_OBJS:stdlib__%.cmo=%}})[.]#\1stdlib__\2.#g' \ .depend.tmp > .depend rm -f .depend.tmp |