diff options
| author | Remi Collet <remi@remirepo.net> | 2025-02-07 07:37:13 +0100 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2025-02-07 07:37:13 +0100 |
| commit | bb1f8812e37ca50bd1ca593ac752c8efa3dc2882 (patch) | |
| tree | 52863feb0fdb54ea42d9b538996af4ed468ba4b6 /makesrc.sh | |
| parent | d44fd3191cdcde56f680fda7cdc09453fedefe92 (diff) | |
update to 12.0.0
raise depdendency on PHP 8.3
raise dependency on nikic/php-parser 5.4
raise dependency on phpunit/php-file-iterator 6.0
raise dependency on phpunit/php-text-template 5.0
raise dependency on sebastian/complexity 5.0
raise dependency on sebastian/environment 8.0
raise dependency on sebastian/lines-of-code 4.0
raise dependency on sebastian/version 6.0
drop dependency on sebastian/code-unit-reverse-lookup
rename to php-phpunit-php-code-coverage12
move to /usr/share/php/SebastianBergmann/CodeCoverage12
Diffstat (limited to 'makesrc.sh')
| -rwxr-xr-x | makesrc.sh | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -17,7 +17,8 @@ else echo "Cloning..." rm -rf $PROJECT-$COMMIT - git clone --branch ${VERSION:0:4} --shallow-since=$DATE https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT || exit 1 + git clone --branch ${VERSION:0:4} --shallow-since=$DATE https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT || \ + git clone --shallow-since=$DATE https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT || exit 1 echo "Getting commit..." pushd $PROJECT-$COMMIT |