Make it easier to diff results of several runs in one day.

diff --git a/run-tests.php b/run-tests.php
index 59515cbb4c8bca88bd4af8378777d5fd8ce1d831..ade56e038e145542d72150756b418432b201208a 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -430,7 +430,7 @@ if (!getenv('NO_INTERACTION')) {
                $compression = 0;
                
                if ($just_save_results || !mail_qa_team($failed_tests_data, $compression, $status)) {
-                       $output_file = 'php_test_results_' . date('Ymd') . ( $compression ? '.txt.gz' : '.txt' );
+                       $output_file = 'php_test_results_' . date('Ymd_Hi') . ( $compression ? '.txt.gz' : '.txt' );
                        $fp = fopen($output_file, "w");
                        fwrite($fp, $failed_tests_data);
                        fclose($fp);