summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcus Boerger <helly@php.net>2002-11-21 15:09:45 +0000
committerMarcus Boerger <helly@php.net>2002-11-21 15:09:45 +0000
commit64e45b12879da2533e8e54cadbc1e25d91eb98fb (patch)
treea31da52a5d6c6160903b9e41fba05b7c6c1c4e35
parentb66a39eb6e7b20f8ab1e4ad3d52409a500a721f9 (diff)
downloadphp-git-64e45b12879da2533e8e54cadbc1e25d91eb98fb.tar.gz
Force showing the question
-rwxr-xr-xrun-tests.php3
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');