diff options
author | Jakob Gahde | 2016-11-29 00:53:27 +0100 |
---|---|---|
committer | Jakob Gahde | 2016-11-29 00:53:27 +0100 |
commit | dd14e54b3824823b028f7c194c010cdfdebfde5f (patch) | |
tree | 8910d49512941bcdfd1b59668c0c3ba56e083e7d /use-php56.patch | |
download | aur-phpdocumentor1.tar.gz |
phpdocumentor1 1.4.4-1: New package
Diffstat (limited to 'use-php56.patch')
-rw-r--r-- | use-php56.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/use-php56.patch b/use-php56.patch new file mode 100644 index 000000000000..0f42799ce11f --- /dev/null +++ b/use-php56.patch @@ -0,0 +1,11 @@ +diff -aur --no-dereference package.pristine/phpdoc package.new/phpdoc +--- package.pristine/phpdoc 2016-11-29 00:37:36.309025526 +0100 ++++ package.new/phpdoc 2016-11-29 00:37:53.202230764 +0100 +@@ -1,6 +1,6 @@ + #!/bin/sh + if [ -z "$PHP" ]; then +- PHP=`which php` ++ PHP=`which php56` + fi + (exec $PHP -C -q -d output_buffering=1 "$0" "$@") 2>/dev/null + if [ "$?" -ne "0" ]; then |