Skip to content

Commit da72946

Browse files
committed
PHPC-1189: Prefix maintainer/coverage configure options
1 parent 9ab7092 commit da72946

File tree

3 files changed

+8
-8
lines changed

3 files changed

+8
-8
lines changed

.travis.scripts/before_script.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
#!/bin/sh
22

3-
CONFIGURE_OPTS="--enable-developer-flags --enable-coverage"
3+
CONFIGURE_OPTS="--enable-mongodb-developer-flags --enable-mongodb-coverage"
44

55
if [ -n "${SSL_VERSION}" ]; then
66
CONFIGURE_OPTS="${CONFIGURE_OPTS} --with-mongodb-ssl=${SSL_VERSION}"

CONTRIBUTING.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ The following script may be used to build the driver:
1717
#!/bin/sh
1818
1919
phpize > /dev/null && \
20-
./configure --enable-developer-flags > /dev/null && \
20+
./configure --enable-mongodb-developer-flags > /dev/null && \
2121
make clean > /dev/null && make all > /dev/null && make install
2222
```
2323

config.m4

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -24,14 +24,14 @@ if test "$PHP_MONGODB" != "no"; then
2424
AC_MSG_ERROR([not supported. Need a PHP version >= 5.5.0 (found $PHP_MONGODB_PHP_VERSION)])
2525
fi
2626

27-
PHP_ARG_ENABLE([developer-flags],
27+
PHP_ARG_ENABLE([mongodb-developer-flags],
2828
[whether to enable developer build flags],
29-
[AC_HELP_STRING([--enable-developer-flags],
29+
[AC_HELP_STRING([--enable-mongodb-developer-flags],
3030
[MongoDB: Enable developer flags [default=no]])],
3131
[no],
3232
[no])
3333

34-
if test "$PHP_DEVELOPER_FLAGS" = "yes"; then
34+
if test "$PHP_MONGODB_DEVELOPER_FLAGS" = "yes"; then
3535
dnl Warn about functions which might be candidates for format attributes
3636
PHP_CHECK_GCC_ARG(-Wmissing-format-attribute, _MAINTAINER_CFLAGS="$_MAINTAINER_CFLAGS -Wmissing-format-attribute")
3737
dnl Avoid duplicating values for an enum
@@ -80,14 +80,14 @@ if test "$PHP_MONGODB" != "no"; then
8080
fi
8181

8282

83-
PHP_ARG_ENABLE([coverage],
83+
PHP_ARG_ENABLE([mongodb-coverage],
8484
[whether to enable code coverage],
85-
[AC_HELP_STRING([--enable-coverage],
85+
[AC_HELP_STRING([--enable-mongodb-coverage],
8686
[MongoDB: Enable developer code coverage information [default=no]])],
8787
[no],
8888
[no])
8989

90-
if test "$PHP_COVERAGE" = "yes"; then
90+
if test "$PHP_MONGODB_COVERAGE" = "yes"; then
9191
if test "$ext_shared" != "yes"; then
9292
AC_MSG_ERROR(code coverage is not supported for static builds)
9393
fi

0 commit comments

Comments
 (0)