summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorBen Fuhrmannek2020-06-15 11:51:16 +0200
committerBen Fuhrmannek2020-06-15 11:51:16 +0200
commit7ac1e3866ef4f146c6c93a5ca13b9aebb14e936a (patch)
treece57745314d905ff06119788acb56c11dcb3aede /Makefile
parentf742d9f88bf788e38bbe832f1b75e39784f024bc (diff)
parent7f9602ebc23582195d63eb35f1de1961297f2e00 (diff)
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index c0d65c2..db5878e 100644
--- a/Makefile
+++ b/Makefile
@@ -19,6 +19,7 @@ compile_debug: ## compile a debug build
19 make -C src 19 make -C src
20 20
21debug: compile_debug ## compile and run a debug build 21debug: 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
24coverage: ## compile snuffleugpaus, and run the testsuite with coverage 25coverage: ## compile snuffleugpaus, and run the testsuite with coverage