diff options
author | Santiago M. Mola <santi@mola.io> | 2020-08-01 17:43:08 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-08-03 14:48:00 +0200 |
commit | fdf6b0fefe58be5b7ca1b3528ca6cab0d868880a (patch) | |
tree | 8b7e0ee9f2ed6ccd61bbc68b6daab0253a9e0372 /ext/reflection/php_reflection.h | |
parent | 17d64af18665a160347c994eff27ea37c15dfc76 (diff) | |
download | php-git-fdf6b0fefe58be5b7ca1b3528ca6cab0d868880a.tar.gz |
set -ex on travis/compile.sh
-e to fail early: ./configure may fail and further errors from make bury
the original problem in the logs.
-x for easier debugging
Diffstat (limited to 'ext/reflection/php_reflection.h')
0 files changed, 0 insertions, 0 deletions