summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorjvoisin2020-11-11 19:26:17 +0100
committerjvoisin2020-11-11 19:26:17 +0100
commitc0c0cf70a8579095d5b7c0fb53f86fca21799e52 (patch)
treefa23a6401f24c29661c476ccfb18492372366aff /Makefile
parentc76c67ce7624bab488790a4843eb12348c6c044a (diff)
Add a `make tests` to run the testsuite
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 4520875..695bfc0 100644
--- a/Makefile
+++ b/Makefile
@@ -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
21debug: compile_debug ## compile and run a debug build 21tests: 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
25coverage: ## compile snuffleugpaus, and run the testsuite with coverage 24coverage: ## compile snuffleugpaus, and run the testsuite with coverage