diff options
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 $<' |