diff options
| author | Pierre Letouzey | 2016-06-24 04:56:27 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-06-24 12:10:41 +0200 |
| commit | 3fedd01838fbba1e6d0b79eb41bd26eb1572e303 (patch) | |
| tree | c03f06dcb3e637031d7d6cd8f191e69924171ee7 /Makefile.build | |
| parent | f062b07eea7d06c6a762402e81630b091211d1c6 (diff) | |
remove an old workaround for OCaml 3.11 + MacOS natdynlink
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/Makefile.build b/Makefile.build index 382370df9f..e53ebf2e69 100644 --- a/Makefile.build +++ b/Makefile.build @@ -572,11 +572,7 @@ plugins/%.cmx: plugins/%.ml %.cmxs: %.cmxa $(SHOW)'OCAMLOPT -shared -o $@' -ifeq ($(HASNATDYNLINK),os5fixme) - $(HIDE)dev/ocamlopt_shared_os5fix.sh "$(OCAMLOPT)" $@ -else $(HIDE)$(OCAMLOPT) -linkall -shared -o $@ $< -endif %.ml: %.mll $(SHOW)'OCAMLLEX $<' |