diff options
| author | Remi Collet <remi@remirepo.net> | 2020-02-12 13:45:35 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2020-02-12 13:45:35 +0100 |
| commit | 73d278ff637a25d8e0c2e90de67db58fc0566fe2 (patch) | |
| tree | 63db006d835ea4d86ee44b2b8e1bfb9b89bea89d | |
| parent | 711ea5f9df368c3625933f65ab92a9671bbcd1e6 (diff) | |
add link to upstream PR
| -rw-r--r-- | php-phpdocumentor-reflection-docblock5.spec | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/php-phpdocumentor-reflection-docblock5.spec b/php-phpdocumentor-reflection-docblock5.spec index a300f7f..1b48e48 100644 --- a/php-phpdocumentor-reflection-docblock5.spec +++ b/php-phpdocumentor-reflection-docblock5.spec @@ -149,6 +149,7 @@ cat <<BOOTSTRAP | tee -a bootstrap.php BOOTSTRAP # use auto_prepend_file to ensure build version used first +# zend.exception_ignore_args=0: see https://github.com/phpDocumentor/ReflectionDocBlock/pull/205 RETURN_CODE=0 for PHP_EXEC in php php72 php73 php74; do if which $PHP_EXEC; then |