Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWilliam Desportes <williamdes@wdes.fr>2021-02-08 21:01:40 +0300
committerWilliam Desportes <williamdes@wdes.fr>2021-02-08 21:02:00 +0300
commitc7f23eb9cd9dc963fef3af49c7a575804ae8c886 (patch)
treee383171f24a82bbe8106b75e28006284eb66e86b /test/start-local-server
parent6fda5345d620e53737f6f079efea92d5a9aabcb2 (diff)
Drop TravisCI
Signed-off-by: William Desportes <williamdes@wdes.fr>
Diffstat (limited to 'test/start-local-server')
-rwxr-xr-xtest/start-local-server4
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