Skip to content

Commit d6da0d3

Browse files
committed
Update Makefile
1 parent 533d2bc commit d6da0d3

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

Makefile

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -171,5 +171,7 @@ infection:
171171
git -C build-infection fetch origin && git -C build-infection reset --hard origin/1.x
172172
composer install --working-dir build-infection --no-interaction --no-progress
173173
php build-infection/bin/infection-config.php --source-directory='build/PHPStan/Build'> infection.json5
174-
php vendor/bin/infection --ignore-msi-with-no-mutations --logger-text=php://stdout
174+
version=$(jq -r '.packages[] | select(.name == "infection/infection") | .version' build-infection/composer.lock)
175+
composer require infection/infection:$version --dev
176+
php build-infection/vendor/bin/infection --ignore-msi-with-no-mutations --logger-text=php://stdout
175177
rm infection.json5

0 commit comments

Comments
 (0)