Commit 8293f6dc authored by POTTIER Francois's avatar POTTIER Francois

Avoid which -s.

parent 4cc44b7c
......@@ -3,7 +3,7 @@ BUILD=$SRC/_stage1
# An absolute path for Menhir.
MENHIR=$BUILD/menhir.native
if which -s greadlink ; then
if which greadlink >/dev/null ; then
MENHIR=`greadlink -f $MENHIR`
else
MENHIR=`readlink -f $MENHIR`
......
......@@ -6,7 +6,7 @@
. ./config.sh
# The time command.
if which -s gtime ; then
if which gtime >/dev/null ; then
TIME=gtime
else
TIME=time
......
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