summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorjvoisin2018-01-17 14:45:15 +0100
committerjvoisin2018-01-17 14:45:15 +0100
commitbd02d0689190f526c99eee9b35c1335bd96a74af (patch)
treef2717d1cc5a0c13903f899188a7684611edd5181 /src
parent23913af8b66c3bec05f937bb31c72fffe935df05 (diff)
Make the build system a bit more portable
Diffstat (limited to 'src')
-rw-r--r--src/config.m43
1 files changed, 2 insertions, 1 deletions
diff --git a/src/config.m4 b/src/config.m4
index b2c6ed5..3d4c1ba 100644
--- a/src/config.m4
+++ b/src/config.m4
@@ -16,8 +16,9 @@ PHP_ARG_ENABLE(coverage, whether to enable coverage support,
16PHP_ARG_ENABLE(debug, whether to enable debug messages, 16PHP_ARG_ENABLE(debug, whether to enable debug messages,
17[ --enable-debug Enable debug messages], no, no) 17[ --enable-debug Enable debug messages], no, no)
18 18
19AC_PROG_CC_STDC()
20
19CFLAGS="$CFLAGS" 21CFLAGS="$CFLAGS"
20CFLAGS="$CFLAGS -D_DEFAULT_SOURCE=1 -std=c99"
21CFLAGS="$CFLAGS -Wall -Wextra -Wno-unused-parameter" 22CFLAGS="$CFLAGS -Wall -Wextra -Wno-unused-parameter"
22CFLAGS="$CFLAGS -Wformat=2 -Wformat-security -D_FORTIFY_SOURCE=2" 23CFLAGS="$CFLAGS -Wformat=2 -Wformat-security -D_FORTIFY_SOURCE=2"
23CFLAGS="$CFLAGS -fstack-protector" 24CFLAGS="$CFLAGS -fstack-protector"