diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-18 12:24:34 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-18 12:57:54 +0200 |
commit | b2f49c69b146603d6c34fb5ca67ebadd745ec623 (patch) | |
tree | 49fa8c01aebffa7d2e2a4be3a73b902420b6ed4b /travis | |
parent | e9aa0337abf06546f5e4dcbdd061175f17bc9ffe (diff) | |
download | php-git-b2f49c69b146603d6c34fb5ca67ebadd745ec623.tar.gz |
Add a dl() test to Travis
Compile the zend_test extension as shared and try loading it with dl()
to test for obvious issues. Doing this as a standalone call because this
is very specific to the CI setup.
Diffstat (limited to 'travis')
-rwxr-xr-x | travis/compile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/travis/compile.sh b/travis/compile.sh index 0017026c1b..03d8ac6c1e 100755 --- a/travis/compile.sh +++ b/travis/compile.sh @@ -76,7 +76,7 @@ $TS \ --with-xpm-dir=/usr \ --with-kerberos \ --enable-sysvmsg \ ---enable-zend-test \ +--enable-zend-test=shared \ > "$CONFIG_LOG_FILE" make "-j${MAKE_JOBS}" $MAKE_QUIET > "$MAKE_LOG_FILE" |