summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorjvoisin2020-12-28 18:40:42 +0100
committerjvoisin2020-12-28 18:40:42 +0100
commit471073aa352ee4b9843ed93191d795f7cb57a08a (patch)
tree71c7e61aefea746c503b6d7d383e98cafd116d6d /Makefile
parentf549ae50d3c47fb8a59aa8efb974ac5908591427 (diff)
Document the `tests` target
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 695bfc0..b8236fb 100644
--- a/Makefile
+++ b/Makefile
@@ -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
21tests: release 21tests: 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
24coverage: ## compile snuffleugpaus, and run the testsuite with coverage 24coverage: ## compile snuffleugpaus, and run the testsuite with coverage