diff options
Diffstat (limited to 'Makefile.global')
| -rw-r--r-- | Makefile.global | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.global b/Makefile.global index 4f7d6d9e9..8dad0e4bf 100644 --- a/Makefile.global +++ b/Makefile.global @@ -98,6 +98,7 @@ 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); \ + rm $(top_builddir)/tmp-php.ini; \ else \ echo "ERROR: Cannot run tests without CLI sapi."; \ fi |