diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -19,6 +19,7 @@ compile_debug: ## compile a debug build | |||
| 19 | make -C src | 19 | make -C src |
| 20 | 20 | ||
| 21 | debug: compile_debug ## compile and run a debug build | 21 | debug: compile_debug ## compile and run a debug build |
| 22 | sed -i "s/\$$ext_params -d display_errors=0 -r/-d display_errors=0 -r/" src/run-tests.php | ||
| 22 | TEST_PHP_ARGS='-q' REPORT_EXIT_STATUS=1 make -C src test | 23 | TEST_PHP_ARGS='-q' REPORT_EXIT_STATUS=1 make -C src test |
| 23 | 24 | ||
| 24 | coverage: ## compile snuffleugpaus, and run the testsuite with coverage | 25 | coverage: ## compile snuffleugpaus, and run the testsuite with coverage |
