Commit 76caed2f authored by POTTIER Francois's avatar POTTIER Francois

Merge branch 'francois' of git+ssh://scm.gforge.inria.fr//gitroot/menhir/menhir into francois

parents 54be00ca e29afb94
......@@ -3,7 +3,7 @@
# Build an absolute path for Menhir.
# This is useful because ocamlbuild descends into _build.
ifndef MENHIR
READLINK := $(shell if which -s greadlink ; then echo greadlink ; else echo readlink ; fi)
READLINK := $(shell if which greadlink >/dev/null ; then echo greadlink ; else echo readlink ; fi)
MENHIR := $(shell $(READLINK) -f ../../src/_stage1/menhir.native) \
--table
endif
......
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