diff options
| author | nashe <thomas@chauchefoin.fr> | 2017-07-16 17:29:42 +0200 |
|---|---|---|
| committer | nashe <thomas@chauchefoin.fr> | 2017-07-16 17:29:42 +0200 |
| commit | c808b36084f6d37c75addc1e218404b05e291f07 (patch) | |
| tree | 272fea052ed5aa97c9c74cf9897a9e6a73e920ea | |
| parent | e762c01e4801e2e47062824ed703b7102ee19e5c (diff) | |
| download | planet-c808b36084f6d37c75addc1e218404b05e291f07.tar planet-c808b36084f6d37c75addc1e218404b05e291f07.tar.gz planet-c808b36084f6d37c75addc1e218404b05e291f07.tar.bz2 planet-c808b36084f6d37c75addc1e218404b05e291f07.tar.xz planet-c808b36084f6d37c75addc1e218404b05e291f07.zip | |
Use HHVM's built-in web server when necessary
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 70415d7..5d88580 100644 --- a/.travis.yml +++ b/.travis.yml @@ -21,7 +21,8 @@ before_deploy: - tar czvf moonmoon-$TRAVIS_TAG.tgz --exclude ".git" * before_script: -- php -S 127.0.0.1:8081 >& /dev/null & +- if [[ $TRAVIS_PHP_VERSION != hhvm ]]; then php -S 127.0.0.1:8081 >& /dev/null &; fi +- if [[ $TRAVIS_PHP_VERSION = hhvm ]]; then hhvm -m server -p 8081 >& /dev/null &; fi # deploy: # provider: releases |