diff options
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 18 |
1 files changed, 11 insertions, 7 deletions
@@ -1,12 +1,15 @@ #!/usr/bin/env bash # resolve python-version to use -if [ "$PYTHON" == "" ]; then - if hash python 2>/dev/null; then +if [ "$PYTHON" == "" ] ; then + if which python >/dev/null 2>&1 + then PYTHON=python - elif hash python2 2>/dev/null; then + elif which python2 >/dev/null 2>&1 + then PYTHON=python2 - elif hash python2.7 2>/dev/null; then + elif which python2.7 >/dev/null 2>&1 + then PYTHON=python2.7 else echo "Unable to locate build-dependency python2.x!" 1>&2 @@ -16,7 +19,8 @@ fi # validate python-dependency # useful in case of explicitly set option. -if ! hash $PYTHON 2>/dev/null; then +if ! which $PYTHON > /dev/null 2>&1 +then echo "Unable to locate build-dependency python2.x ($PYTHON)!" 1>&2 exit 1 fi @@ -149,9 +153,9 @@ build_coreclr() if [ $__UseNinja == 1 ]; then generator="ninja" buildFile="build.ninja" - if hash ninja 2>/dev/null; then + if which ninja >/dev/null 2>&1; then buildTool="ninja" - elif hash ninja-build 2>/dev/null; then + elif which ninja-build >/dev/null 2>&1; then buildTool="ninja-build" else echo "Unable to locate ninja!" 1>&2 |