diff options
| author | Johannes Schlüter <johannes@php.net> | 2011-09-01 14:52:55 +0000 |
|---|---|---|
| committer | Johannes Schlüter <johannes@php.net> | 2011-09-01 14:52:55 +0000 |
| commit | e58f72b6a36a861d966c2e44bad9941f73034f7f (patch) | |
| tree | f20139686d85516b8e44b5624d46957304f24a74 /run-tests.php | |
| parent | 46910fd722480dfeac3d8798f290060ff8a44967 (diff) | |
| download | php-git-e58f72b6a36a861d966c2e44bad9941f73034f7f.tar.gz | |
Improve speed of finding tests (no more CVS, we're on svn now)
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 2b584e49c6..fbf51b2a66 100755 --- a/run-tests.php +++ b/run-tests.php @@ -866,7 +866,7 @@ function find_files($dir, $is_ext_dir = false, $ignore = false) while (($name = readdir($o)) !== false) { - if (is_dir("{$dir}/{$name}") && !in_array($name, array('.', '..', 'CVS'))) { + if (is_dir("{$dir}/{$name}") && !in_array($name, array('.', '..', '.svn'))) { $skip_ext = ($is_ext_dir && !in_array(strtolower($name), $exts_to_test)); if ($skip_ext) { $exts_skipped++; |