diff --git a/makefile b/makefile index b0fa1a93..057718c6 100644 --- a/makefile +++ b/makefile @@ -58,6 +58,7 @@ pr: ##2 Runs and prepares everything for a pull request @make stan -B @make phpmnd -B @make phpunit -B + @make svrunit -B @make infection -B phpunit-debug: ##2 Debug the unit test with group "debug"