changeset 4073 | 4f086b95f18c |
parent 4071 | 4b68c2b0134b |
child 4074 | 3b59c13ef5ec |
4071:4b68c2b0134b | 4073:4f086b95f18c |
---|---|
1 --- php-5.2.9/run-tests.php.ORIG Mon Sep 15 17:35:05 2008 |
|
2 +++ php-5.2.9/run-tests.php Mon Sep 15 17:35:12 2008 |
|
3 @@ -1,4 +1,4 @@ |
|
4 -#!/usr/bin/php |
|
5 +#!/usr/php/5.2/bin/php |
|
6 <?php |
|
7 /* |
|
8 +----------------------------------------------------------------------+ |