diff options
| author | Ben Fuhrmannek | 2022-01-05 20:17:09 +0100 |
|---|---|---|
| committer | Ben Fuhrmannek | 2022-01-05 20:17:09 +0100 |
| commit | acb737ef367f61ee0c0d219ea7272abb56e68e34 (patch) | |
| tree | 16d65f32cdf87f6a20d64ff68e0d711f38a29e48 /Makefile | |
| parent | 15c0a1906f2348408bda41fa422afc6389b8cf85 (diff) | |
skip old php check for testing
Diffstat (limited to '')
| -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 |