From 5593bd4bd3c2cc7493e03cca0a46b561e5186f1c Mon Sep 17 00:00:00 2001 From: Shivam Mathur Date: Thu, 13 Aug 2020 00:04:00 +0530 Subject: [PATCH] Remove old PHPUnit on linux --- src/scripts/linux.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/src/scripts/linux.sh b/src/scripts/linux.sh index 0e8ffb67..d62ee878 100644 --- a/src/scripts/linux.sh +++ b/src/scripts/linux.sh @@ -288,5 +288,6 @@ ini_file=$(php --ini | grep "Loaded Configuration" | sed -e "s|.*:s*||" | sed "s ext_dir=$(php -i | grep "extension_dir => /" | sed -e "s|.*=> s*||") pecl_file="$scan_dir"/99-pecl.ini echo '' | sudo tee "$pecl_file" >/dev/null 2>&1 +sudo rm -rf /usr/local/bin/phpunit >/dev/null 2>&1 sudo chmod 777 "$ini_file" "$pecl_file" "$tool_path_dir" add_log "$tick" "PHP" "$status PHP $semver"