archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-20 09:24:05 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Force showing the question

Browse source
This commit is contained in:
Marcus Boerger 2002-11-21 15:09:45 +00:00
parent b66a39eb6e
commit 64e45b1287
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
run-tests.php
View file

@ -190,7 +190,7 @@ $exts_tested = count($exts_to_test);
$exts_skipped = 0; $exts_skipped = 0;
$ignored_by_ext = 0; $ignored_by_ext = 0;
sort($exts_to_test); sort($exts_to_test);
$test_dirs = array('tests', 'pear', 'ext'); $test_dirs = array('tests');//, 'pear', 'ext');
foreach ($test_dirs as $dir) { foreach ($test_dirs as $dir) {
find_files("{$cwd}/{$dir}", ($dir == 'ext')); find_files("{$cwd}/{$dir}", ($dir == 'ext'));
@ -323,6 +323,7 @@ if ($sum_results['FAILED'] && !getenv('NO_INTERACTION')) {
$fp = fopen("php://stdin", "r+"); $fp = fopen("php://stdin", "r+");
echo "Some tests have failed, would you like to send the\nreport to PHP's QA team\n"; 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]: "; echo "(choose \"s\" to just save the results to a file)? [Yns]: ";
flush();
$user_input = fgets($fp, 10); $user_input = fgets($fp, 10);
$just_save_results = (strtolower($user_input[0]) == 's'); $just_save_results = (strtolower($user_input[0]) == 's');