diff options
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
| @@ -18,7 +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 | tests: release | 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 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 |
