diff options
| author | Vincent Petry <pvince81@owncloud.com> | 2015-04-27 19:03:49 +0300 |
|---|---|---|
| committer | Vincent Petry <pvince81@owncloud.com> | 2015-04-27 19:03:49 +0300 |
| commit | 6d8884e8a19fda70ff0ac754f325d0ff858bedef (patch) | |
| tree | b7a4993b6c85260e55e046898db100d7fadb6250 /autotest-external.sh | |
| parent | eb0e9e56467db90d0a8e828edbef0261c186cf37 (diff) | |
Add check for "replace" command
Diffstat (limited to 'autotest-external.sh')
| -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) |