diff options
author | Marcus Boerger <helly@php.net> | 2002-11-21 15:09:45 +0000 |
---|---|---|
committer | Marcus Boerger <helly@php.net> | 2002-11-21 15:09:45 +0000 |
commit | 64e45b12879da2533e8e54cadbc1e25d91eb98fb (patch) | |
tree | a31da52a5d6c6160903b9e41fba05b7c6c1c4e35 | |
parent | b66a39eb6e7b20f8ab1e4ad3d52409a500a721f9 (diff) | |
download | php-git-64e45b12879da2533e8e54cadbc1e25d91eb98fb.tar.gz |
Force showing the question
-rwxr-xr-x | run-tests.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 068051466e..a879ade0a6 100755 --- a/run-tests.php +++ b/run-tests.php @@ -190,7 +190,7 @@ $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');//, 'pear', 'ext'); foreach ($test_dirs as $dir) { find_files("{$cwd}/{$dir}", ($dir == 'ext')); @@ -323,6 +323,7 @@ if ($sum_results['FAILED'] && !getenv('NO_INTERACTION')) { $fp = fopen("php://stdin", "r+"); echo "Some tests have failed, would you like to send the\nreport to PHP's QA team\n"; echo "(choose \"s\" to just save the results to a file)? [Yns]: "; + flush(); $user_input = fgets($fp, 10); $just_save_results = (strtolower($user_input[0]) == 's'); |