blob: 470e6eb858d67c1d31005a87cb9955b63f45ce2d (
plain)
1
2
3
4
5
6
7
8
|
# Include-able script to require that we have a known php binary we can execute
. "$DEV/includes/php.sh"
if [ "x$PHP" == "x" -o ! -x "$PHP" ]; then
echo "Local copy of PHP is not installed"
exit 1
fi
|