diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
| @@ -18,8 +18,7 @@ compile_debug: ## compile a debug build | |||
| 18 | export CFLAGS="-g3 -ggdb -O1 -g"; cd src; ./configure --enable-snuffleupagus --enable-debug | 18 | export CFLAGS="-g3 -ggdb -O1 -g"; cd src; ./configure --enable-snuffleupagus --enable-debug |
| 19 | make -C src | 19 | make -C src |
| 20 | 20 | ||
| 21 | debug: compile_debug ## compile and run a debug build | 21 | tests: release |
| 22 | sed -i "s/\$$ext_params -d display_errors=0 -r/-d display_errors=0 -r/" src/run-tests.php | ||
| 23 | TEST_PHP_ARGS='-q' REPORT_EXIT_STATUS=1 make -C src test | 22 | TEST_PHP_ARGS='-q' REPORT_EXIT_STATUS=1 make -C src test |
| 24 | 23 | ||
| 25 | coverage: ## compile snuffleugpaus, and run the testsuite with coverage | 24 | coverage: ## compile snuffleugpaus, and run the testsuite with coverage |
