sfox            Thu Jun 19 21:03:37 2008 UTC

  Modified files:              (Branch: PHP_5_3)
    /php-src    run-tests.php 
  Log:
  Two new options for Travis to come to terms with:
  - --set-timeout <n> sets the timeout in seconds for the call to 
stream_select() during system_with_timeout()
  - -x sets an environmental variable, SKIP_SLOW_TESTS, which can be checked 
for during a SKIPIF clause
  
http://cvs.php.net/viewvc.cgi/php-src/run-tests.php?r1=1.226.2.37.2.35.2.21&r2=1.226.2.37.2.35.2.22&diff_format=u
Index: php-src/run-tests.php
diff -u php-src/run-tests.php:1.226.2.37.2.35.2.21 
php-src/run-tests.php:1.226.2.37.2.35.2.22
--- php-src/run-tests.php:1.226.2.37.2.35.2.21  Mon May 26 11:33:38 2008
+++ php-src/run-tests.php       Thu Jun 19 21:03:36 2008
@@ -1,5 +1,6 @@
 #!/usr/bin/php
 <?php
+putenv('TEST_PHP_EXECUTABLE=C:/sandbox/php5/Debug_TS/php.exe');
 /*
    +----------------------------------------------------------------------+
    | PHP Version 5                                                        |
@@ -24,7 +25,7 @@
    +----------------------------------------------------------------------+
  */
 
-/* $Id: run-tests.php,v 1.226.2.37.2.35.2.21 2008/05/26 11:33:38 tony2001 Exp 
$ */
+/* $Id: run-tests.php,v 1.226.2.37.2.35.2.22 2008/06/19 21:03:36 sfox Exp $ */
 
 /* Sanity check to ensure that pcre extension needed by this script is 
available.
  * In the event it is not, print a nice error message indicating that this 
script will
@@ -441,7 +442,7 @@
                                        $html_output = is_resource($html_file);
                                        break;
                                case '--version':
-                                       echo '$Revision: 1.226.2.37.2.35.2.21 
$'."\n";
+                                       echo '$Revision: 1.226.2.37.2.35.2.22 
$'."\n";
                                        exit(1);
 
                                case 'u':
@@ -869,7 +870,7 @@
 function save_text($filename, $text, $filename_copy = null)
 {
        global $DETAILED;
-
+file_put_contents('steph.test.again.php', $text);
        if ($filename_copy && $filename_copy != $filename) {
                if (@file_put_contents($filename_copy, $text) === false) {
                        error("Cannot open file '" . $filename_copy . "' 
(save_text)");



-- 
PHP CVS Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to