diff options
-rwxr-xr-x | autotest-external.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/autotest-external.sh b/autotest-external.sh index c4d5ffb181f..6ebe093c8a7 100755 --- a/autotest-external.sh +++ b/autotest-external.sh @@ -32,6 +32,11 @@ if ! [ -x "$PHPUNIT" ]; then exit 3 fi +if ! which replace > /dev/null 2>&1; then + echo "The command 'replace' is not available on this system. Please install it first." >&2 + exit 5 +fi + PHPUNIT_VERSION=$("$PHPUNIT" --version | cut -d" " -f2) PHPUNIT_MAJOR_VERSION=$(echo $PHPUNIT_VERSION | cut -d"." -f1) PHPUNIT_MINOR_VERSION=$(echo $PHPUNIT_VERSION | cut -d"." -f2) |