]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.1' into PHP-7.2
authorJakub Zelenka <bukka@php.net>
Sun, 10 Jun 2018 13:33:28 +0000 (14:33 +0100)
committerJakub Zelenka <bukka@php.net>
Sun, 10 Jun 2018 13:33:28 +0000 (14:33 +0100)
1  2 
.travis.yml

diff --cc .travis.yml
index 6749b11155d8dac9eef3e688818ef6637942d67d,fdca18f04f03b498db64cb433ad7d36f3dbc61db..eef48d168254c9f0e3b6752b1abad037330e2947
@@@ -47,12 -47,11 +47,14 @@@ env
        - ENABLE_MAINTAINER_ZTS=1 ENABLE_DEBUG=1
  
  before_script:
 +    - ccache --version
 +    - ccache --zero-stats
 +    - export USE_CCACHE=1
+     # Enable IPv6
+     - sudo sh -c 'echo 0 > /proc/sys/net/ipv6/conf/all/disable_ipv6'
      # Compile PHP
      - ./travis/compile.sh
 -    # Setup Extensions 
 +    # Setup Extensions
      - . ./travis/ext/mysql/setup.sh
      - . ./travis/ext/mysqli/setup.sh
      - . ./travis/ext/pdo_mysql/setup.sh