From 1d480fda626c2f8cc18a91d54e84a601ff202e77 Mon Sep 17 00:00:00 2001 From: malc Date: Thu, 2 Apr 2015 02:04:24 +0300 Subject: [PATCH] More ash fun --- configure.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/configure.sh b/configure.sh index 2998ca7..fa57c60 100644 --- a/configure.sh +++ b/configure.sh @@ -75,14 +75,14 @@ EOF test $native && { echo "cmo=.cmx" echo "cma=.cmxa" - command -v ocamlopt.opt &>/dev/null && optsuf=".opt" || optsuf="" + command 2>&1 >/dev/null -v ocamlopt.opt && optsuf=".opt" || optsuf="" echo "ocamlc=ocamlopt$optsuf" echo "linksocclib=-cclib" echo "customflag=" } || { echo "cmo=.cmo" echo "cma=.cma" - command -v ocamlc.opt &>/dev/null && optsuf=".opt" || optsuf="" + command 2>&1 >/dev/null -v ocamlc.opt && optsuf=".opt" || optsuf="" echo "ocamlc=ocamlc$optsuf" echo "linksocclib=" echo "customflag=-custom" -- 2.11.4.GIT