maintenance/dev/includes/require-php.sh

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