diff options
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 2 | ||||
-rw-r--r-- | phpcov.install | 6 |
3 files changed, 8 insertions, 4 deletions
@@ -1,7 +1,9 @@ +# Generated by mksrcinfo v8 +# Mon Jan 4 13:14:52 UTC 2016 pkgbase = phpcov pkgdesc = A command-line frontend for the PHP_CodeCoverage library. pkgver = 2.0.2 - pkgrel = 1 + pkgrel = 2 url = https://github.com/sebastianbergmann/phpcov install = phpcov.install arch = any @@ -1,7 +1,7 @@ # Maintainer: Stefan Auditor <stefan.auditor@erdfisch.de> pkgname=phpcov pkgver=2.0.2 -pkgrel=1 +pkgrel=2 pkgdesc="A command-line frontend for the PHP_CodeCoverage library." url="https://github.com/sebastianbergmann/phpcov" arch=("any") diff --git a/phpcov.install b/phpcov.install index 55c57b216ffc..0361ce6825a1 100644 --- a/phpcov.install +++ b/phpcov.install @@ -1,6 +1,8 @@ post_install() { - echo - echo "Warning: phar.so must be enabled and date.timezone set in your php.ini" + if php -i | grep 'date.timezone => no value => no value' >/dev/null 2>&1; then + echo -e "Warning: The date.timezone setting must be set in your php.ini" + echo -e "You may use \"sed -i 's/;date.timezone =/date.timezone = Europe\/Berlin/g' /etc/php/php.ini\" to change your configuration" + fi } post_upgrade() { |