diff options
author | William Desportes <williamdes@wdes.fr> | 2021-02-08 21:01:40 +0300 |
---|---|---|
committer | William Desportes <williamdes@wdes.fr> | 2021-02-08 21:02:00 +0300 |
commit | c7f23eb9cd9dc963fef3af49c7a575804ae8c886 (patch) | |
tree | e383171f24a82bbe8106b75e28006284eb66e86b /test/start-local-server | |
parent | 6fda5345d620e53737f6f079efea92d5a9aabcb2 (diff) |
Drop TravisCI
Signed-off-by: William Desportes <williamdes@wdes.fr>
Diffstat (limited to 'test/start-local-server')
-rwxr-xr-x | test/start-local-server | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/test/start-local-server b/test/start-local-server index 0bb19244fb..e5ffb85dd4 100755 --- a/test/start-local-server +++ b/test/start-local-server @@ -27,10 +27,6 @@ echo "Using temporary dir: ${DIR}" # You can define FPM_PATH to override the path for example FPM_PATH="php-fpm7.4" FPM_PATH="${FPM_PATH:-php-fpm}" -if [ ! -z "${TRAVIS}" ]; then - PHP_VERSION=$(phpenv version-name) - FPM_PATH="$HOME/.phpenv/versions/$PHP_VERSION/sbin/php-fpm" -fi # Start servers "$FPM_PATH" --fpm-config $DIR/php-fpm.conf -c $DIR/php.ini |