diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2019-08-06 09:23:06 +0100 |
|---|---|---|
| committer | David Allsopp <david.allsopp@metastack.com> | 2019-09-29 13:57:15 +0100 |
| commit | 705739fa54260b7a0e6cbba0b5a99e52c79f9c09 (patch) | |
| tree | e5827ddebfd12a7d6a88a640629a04af36a0f441 /tools | |
| parent | afb90bdf7476a92c024eee2e5745ed85200c654b (diff) | |
| download | ocaml-705739fa54260b7a0e6cbba0b5a99e52c79f9c09.tar.gz | |
Fix failure to install tools links
In --disable-installing-bytecode-programs mode, the .opt version of the
tools is installed, but the symlink for the tool itself is not created.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/Makefile b/tools/Makefile index 530dd37f34..1b3014a3ab 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -197,6 +197,7 @@ else do \ if test -f "$$i".opt; then \ $(INSTALL_PROG) "$$i.opt" "$(INSTALL_BINDIR)/$$i.opt$(EXE)"; \ + (cd "$(INSTALL_BINDIR)/" && $(LN) "$$i.opt$(EXE)" "$$i$(EXE)"); \ fi; \ done endif |