diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -19,7 +19,7 @@ compile_debug: ## compile a debug build | |||
| 19 | make -C src | 19 | make -C src |
| 20 | 20 | ||
| 21 | tests: release ## compile a release build and run the testsuite | 21 | tests: release ## compile a release build and run the testsuite |
| 22 | TEST_PHP_ARGS='-q' REPORT_EXIT_STATUS=1 make -C src test | 22 | TEST_PHP_ARGS='-q' REPORT_EXIT_STATUS=1 SP_SKIP_OLD_PHP_CHECK=1 make -C src test |
| 23 | 23 | ||
| 24 | coverage: ## compile snuffleugpaus, and run the testsuite with coverage | 24 | coverage: ## compile snuffleugpaus, and run the testsuite with coverage |
| 25 | cd src; phpize | 25 | cd src; phpize |
