From 070803a482e3da4c1b1cf86bbe056373b37556c0 Mon Sep 17 00:00:00 2001 From: Marcus Boerger Date: Sun, 1 Jun 2003 18:34:03 +0000 Subject: [PATCH] Allow optional directories --- run-tests.php | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/run-tests.php b/run-tests.php index 1ed789818f..e371300be8 100755 --- a/run-tests.php +++ b/run-tests.php @@ -313,7 +313,13 @@ $exts_tested = count($exts_to_test); $exts_skipped = 0; $ignored_by_ext = 0; sort($exts_to_test); -$test_dirs = array('tests', 'pear', 'ext'); +$test_dirs = array('tests', 'ext'); +$optionals = array('pear', 'Zend', 'ZendEngine2'); +foreach($optionals as $dir) { + if (@filetype($dir) == 'dir') { + $test_dirs[] = $dir; + } +} foreach ($test_dirs as $dir) { find_files("{$cwd}/{$dir}", ($dir == 'ext')); -- 2.50.1