diff options
| author | Xinchen Hui <laruence@php.net> | 2012-11-25 11:45:36 +0800 |
|---|---|---|
| committer | Stanislav Malyshev <stas@php.net> | 2014-07-18 15:33:59 -0700 |
| commit | f3230e35221f5d440480de3871416f8d000991df (patch) | |
| tree | c4de13e45f1721b95cd7cb54a815c0b53a9dba54 | |
| parent | 3c328f09840c58698cedd6bbd30bdc8a24f5b41f (diff) | |
| download | php-git-f3230e35221f5d440480de3871416f8d000991df.tar.gz | |
let make test report the run-test result
| -rw-r--r-- | Makefile.global | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.global b/Makefile.global index 8dad0e4bf1..3a5b1c2018 100644 --- a/Makefile.global +++ b/Makefile.global @@ -98,7 +98,9 @@ test: all TEST_PHP_SRCDIR=$(top_srcdir) \ CC="$(CC)" \ $(PHP_EXECUTABLE) -n -c $(top_builddir)/tmp-php.ini $(PHP_TEST_SETTINGS) $(top_srcdir)/run-tests.php -n -c $(top_builddir)/tmp-php.ini -d extension_dir=$(top_builddir)/modules/ $(PHP_TEST_SHARED_EXTENSIONS) $(TESTS); \ + TEST_RESULT_EXIT_CODE=$$?; \ rm $(top_builddir)/tmp-php.ini; \ + exit $$TEST_RESULT_EXIT_CODE; \ else \ echo "ERROR: Cannot run tests without CLI sapi."; \ fi |