Ensure PHP is PHP5
commit2cfff2b73dae61b3548e9f5f211712c0f9b13b48
authorOlly Betts <olly@survex.com>
Sun, 27 Mar 2016 09:24:08 +0000 (27 22:24 +1300)
committerOlly Betts <olly@survex.com>
Mon, 28 Mar 2016 02:24:23 +0000 (28 15:24 +1300)
tree0b7810bd32a28f127b1fa149acf8357ad46e89b5
parentbbbdabcb1728c316041568063abd45bbd9364ced
Ensure PHP is PHP5

On current Debian unstable, php-config5 --php-binary reports
/usr/bin/php which can be PHP7, so check for this and workaround.

(cherry picked from commit 98adcee52be1a6f35dd7fb3909026b8b7578079b)
xapian-bindings/configure.ac