Merge branch 'PHP-7.3' into PHP-7.4

nikic · nikic · commit c0fac0357c48 · 2020-08-03T14:48:18.000+02:00
* PHP-7.3:
  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_MAINTAINER_ZTS" == 1 ]]; then
 	TS="--enable-maintainer-zts";
 else

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`#!/bin/bash`
	`2`	`+set -ex`
`2`	`3`	`if [[ "$ENABLE_MAINTAINER_ZTS" == 1 ]]; then`
`3`	`4`	`TS="--enable-maintainer-zts";`
`4`	`5`	`else`