summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorjvoisin2017-09-20 10:51:22 +0200
committerjvoisin2017-09-21 16:09:28 +0200
commit6487590b4fd55dddd59b43f1fcf2ebd8d56f20ac (patch)
tree22ff7c8ee4b34a0978093afcc5b747073c625d06 /Makefile
parent09a71ec9b889af34173e354ecba935a9db010a19 (diff)
Add travis
Diffstat (limited to '')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 869f9fb..040809e 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@ clean:
4 4
5debug: 5debug:
6 cd src; phpize 6 cd src; phpize
7 export CFLAGS="-Wall -Wextra -g3 -ggdb -Wno-unused-function"; cd src; ./configure --enable-snuffleupagus --enable-debug 7 export CFLAGS="-Wall -Wextra -g3 -ggdb -O1 -g -Wno-unused-function"; cd src; ./configure --enable-snuffleupagus --enable-debug
8 make -C src 8 make -C src
9 TEST_PHP_ARGS='-q' REPORT_EXIT_STATUS=1 make -C src test 9 TEST_PHP_ARGS='-q' REPORT_EXIT_STATUS=1 make -C src test
10 10