Merge branch 'PHP-7.4'

nikic · nikic · commit 56f11e2d1fdd · 2020-08-03T14:48:40.000+02:00
* PHP-7.4:
  set -ex on travis/compile.sh
diff --git a/travis/compile.sh b/travis/compile.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+set -ex
 if [[ "$ENABLE_ZTS" == 1 ]]; then
 	TS="--enable-zts";
 else
