mirror of
https://github.com/php/php-src.git
synced 2025-08-17 14:38:49 +02:00
PATH is not optional (we print that message, because php-config isn't in the
PATH).
This commit is contained in:
parent
2f5f83f518
commit
ea6985a225
1 changed files with 1 additions and 1 deletions
|
@ -14,7 +14,7 @@ AC_DEFUN(PHP_WITH_PHP_CONFIG,[
|
||||||
EXTENSION_DIR=`$PHP_CONFIG --extension-dir`
|
EXTENSION_DIR=`$PHP_CONFIG --extension-dir`
|
||||||
|
|
||||||
if test -z "$prefix"; then
|
if test -z "$prefix"; then
|
||||||
AC_MSG_ERROR(Cannot find php-config. Please use --with-php-config=[PATH])
|
AC_MSG_ERROR(Cannot find php-config. Please use --with-php-config=PATH)
|
||||||
fi
|
fi
|
||||||
AC_MSG_CHECKING(for PHP prefix)
|
AC_MSG_CHECKING(for PHP prefix)
|
||||||
AC_MSG_RESULT($prefix)
|
AC_MSG_RESULT($prefix)
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue