diff options
author | Remi Collet <fedora@famillecollet.com> | 2015-01-18 08:59:58 +0100 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2015-01-18 08:59:58 +0100 |
commit | 4063ec297c2c40ce1cd0d85aff37bbba04358aa2 (patch) | |
tree | 6333c57f0dd4314a1af05a2c066c243fb0f8d970 /phpunit-rpm.patch | |
parent | d9a6c3b5614a7c37378f8e3ffb5337d7e23f5bee (diff) |
php-phpunit-PHPUnit: 4.4.2
Diffstat (limited to 'phpunit-rpm.patch')
-rw-r--r-- | phpunit-rpm.patch | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/phpunit-rpm.patch b/phpunit-rpm.patch index f1a1173..b2adcc3 100644 --- a/phpunit-rpm.patch +++ b/phpunit-rpm.patch @@ -1,13 +1,13 @@ diff -up ./phpunit.rpm ./phpunit ---- ./phpunit.rpm 2014-12-28 08:57:05.000000000 +0100 -+++ ./phpunit 2014-12-28 09:30:07.294714996 +0100 +--- ./phpunit.rpm 2015-01-17 12:24:41.000000000 +0100 ++++ ./phpunit 2015-01-18 08:52:50.896228541 +0100 @@ -1,4 +1,4 @@ -#!/usr/bin/env php +#!/usr/bin/php <?php - /* PHPUnit - * -@@ -39,24 +39,7 @@ if (!ini_get('date.timezone')) { + /* + * This file is part of PHPUnit. +@@ -13,24 +13,7 @@ if (!ini_get('date.timezone')) { ini_set('date.timezone', 'UTC'); } @@ -34,8 +34,8 @@ diff -up ./phpunit.rpm ./phpunit PHPUnit_TextUI_Command::main(); diff -up ./tests/bootstrap.php.rpm ./tests/bootstrap.php ---- ./tests/bootstrap.php.rpm 2014-12-28 09:28:16.402309771 +0100 -+++ ./tests/bootstrap.php 2014-12-28 09:28:45.638416606 +0100 +--- ./tests/bootstrap.php.rpm 2015-01-17 12:24:41.000000000 +0100 ++++ ./tests/bootstrap.php 2015-01-18 08:51:55.668966689 +0100 @@ -1,6 +1,9 @@ <?php // Needed for isolated tests |