From 502b4be0008ed2f9479ad598187e49683ce6ef39 Mon Sep 17 00:00:00 2001 From: Niklas Keller Date: Tue, 19 Dec 2017 18:04:19 +0100 Subject: [PATCH] Fix event extension installation This doesn't add the extension to php.ini if the installation fails. --- travis/install-event.sh | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/travis/install-event.sh b/travis/install-event.sh index 8294d50b..67c704c0 100755 --- a/travis/install-event.sh +++ b/travis/install-event.sh @@ -1,10 +1,10 @@ #!/usr/bin/env bash -curl -LS https://pecl.php.net/get/event | tar -xz; -pushd event-*; -phpize; -./configure --with-event-core --with-event-extra --with-event-pthreads; -make; -make install; -popd; -echo "extension=event.so" >> "$(php -r 'echo php_ini_loaded_file();')"; \ No newline at end of file +curl -LS https://pecl.php.net/get/event | tar -xz \ + && pushd event-* \ + && phpize \ + && ./configure --with-event-core --with-event-extra --with-event-pthreads \ + && make \ + && make install \ + && popd \ + && echo "extension=event.so" >> "$(php -r 'echo php_ini_loaded_file();')";