]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.4'
authorNikita Popov <nikita.ppv@gmail.com>
Mon, 3 Aug 2020 12:48:40 +0000 (14:48 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Mon, 3 Aug 2020 12:48:40 +0000 (14:48 +0200)
* PHP-7.4:
  set -ex on travis/compile.sh

1  2 
travis/compile.sh

index 7966ea5b6b419751052fee945227c08ba3c26961,3669643f9d04fad6d24e94887520d08aadf2a94b..dc278c2e15868a03b47a5ce329272914b2c6809d
@@@ -1,6 -1,7 +1,7 @@@
  #!/bin/bash
 -if [[ "$ENABLE_MAINTAINER_ZTS" == 1 ]]; then
 -      TS="--enable-maintainer-zts";
+ set -ex
 +if [[ "$ENABLE_ZTS" == 1 ]]; then
 +      TS="--enable-zts";
  else
        TS="";
  fi