Commit 0503c1dd authored by Andrei Paskevich's avatar Andrei Paskevich

Makefile: ln -r is not supported everywhere

parent 3f3fda73
......@@ -595,7 +595,7 @@ install_no_local::
install_local:: bin/why3 $(addprefix bin/,$(TOOLS_BIN))
bin/%: bin/%.@OCAMLBEST@
ln -sfr $< $@
ln -sf $(notdir $<) $@
ifneq "$(MAKECMDGOALS)" "clean"
include $(TOOLSDEP)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment