diff options
author | Remi Collet <remi@remirepo.net> | 2017-07-12 09:07:56 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2017-07-12 09:07:56 +0200 |
commit | e41508b53b249f5ae60efddf79899d495aa19f8f (patch) | |
tree | 002bba9da95c58e60316959ca00f0bdee4c95992 /phan-autoload.patch | |
parent | f45cb25a356f8164e05e54038344f7aee08397bf (diff) |
v0.8.5
Diffstat (limited to 'phan-autoload.patch')
-rw-r--r-- | phan-autoload.patch | 20 |
1 files changed, 1 insertions, 19 deletions
diff --git a/phan-autoload.patch b/phan-autoload.patch index c9cd218..753f06d 100644 --- a/phan-autoload.patch +++ b/phan-autoload.patch @@ -36,7 +36,7 @@ diff -up ./src/Phan/Bootstrap.php.rpm ./src/Phan/Bootstrap.php - } -} +// Use the fedora autoloader -+require_once __DIR__ . '/autoload.php'; ++require_once __DIR__ . '/../autoload.php'; define('EXIT_SUCCESS', 0); define('EXIT_FAILURE', 1); @@ -48,15 +48,6 @@ diff -up ./src/phan.php.rpm ./src/phan.php <?php declare(strict_types=1); // Phan does a ton of GC and this offers a major speed -@@ -13,7 +14,7 @@ require_once(__DIR__ . '/requirements.ph - // own - $code_base = require_once(__DIR__ . '/codebase.php'); - --require_once(__DIR__ . '/Phan/Bootstrap.php'); -+require_once(__DIR__ . '/Bootstrap.php'); - - use Phan\CLI; - use Phan\CodeBase; diff -up ./src/prep.php.rpm ./src/prep.php --- ./src/prep.php.rpm 2017-06-13 17:53:57.000000000 +0200 +++ ./src/prep.php 2017-06-14 06:15:48.238648972 +0200 @@ -65,15 +56,6 @@ diff -up ./src/prep.php.rpm ./src/prep.php <?php declare(strict_types=1); // Phan does a ton of GC and this offers a major speed -@@ -7,7 +8,7 @@ gc_disable(); - - // Check the environment to make sure Phan can run successfully - require_once(__DIR__ . '/requirements.php'); --require_once(__DIR__ . '/Phan/Bootstrap.php'); -+require_once(__DIR__ . '/Bootstrap.php'); - - use Phan\CLI; - use Phan\Prep; diff -up ./src/requirements.php.rpm ./src/requirements.php --- ./src/requirements.php.rpm 2017-06-14 06:15:48.239648977 +0200 +++ ./src/requirements.php 2017-06-14 06:16:26.179834206 +0200 |