diff --git a/test/php/runtests.sh b/test/php/runtests.sh index a8b6901f4..0caa34742 100755 --- a/test/php/runtests.sh +++ b/test/php/runtests.sh @@ -4,10 +4,18 @@ set -o nounset SCRIPTNAME=$(readlink -f $0) DIR=$(dirname $SCRIPTNAME) +PHPUNIT=$(which phpunit) + +if [[ ! -x $PHPUNIT ]]; then + echo "PHPUnit not found!" + exit 1 +fi # Make sure that the destination directory for logs and reports exists mkdir -p $DIR/../../build/log -phpunit "$@" . +cd $DIR + +$PHPUNIT "$@" . exit 0