From fe51b80903546f7cc1bd0c6997ca7f08d2fe2a34 Mon Sep 17 00:00:00 2001
From: Nicolas Grekas <nicolas.grekas@gmail.com>
Date: Tue, 8 Jun 2021 11:28:08 +0200
Subject: [PATCH] Optimize travis file a bit

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 738f4fc2b3..d0dd9bb830 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -120,7 +120,7 @@ before_install:
       # php.ini configuration
       (
           for PHP in $TRAVIS_PHP_VERSION $php_extra; do
-              (cd / && wget https://storage.googleapis.com/travis-ci-language-archives/php/binaries/ubuntu/18.04/x86_64/php-$PHP.tar.bz2 -O - | tar -xj) &
+              ([[ $PHP != 7.4 ]] && phpenv global $PHP 2>/dev/null) || (cd / && wget https://storage.googleapis.com/travis-ci-language-archives/php/binaries/ubuntu/18.04/x86_64/php-$PHP.tar.bz2 -O - | tar -xj) &
           done
           wait
       )