diff --git a/scripts/phpize.in b/scripts/phpize.in index 1901323471d..97439b4bb7c 100644 --- a/scripts/phpize.in +++ b/scripts/phpize.in @@ -80,9 +80,33 @@ phpize_check_shtool() if test ! -x "$builddir/build/shtool"; then phpize_no_shtool exit 1 + else + php_shtool=$builddir/build/shtool fi } +phpize_check_autotools() +{ + test -z "$PHP_AUTOCONF" && PHP_AUTOCONF=autoconf + test -z "$PHP_AUTOHEADER" && PHP_AUTOHEADER=autoheader + + if ! test -x "$php_shtool path $PHP_AUTOCONF"; then + echo <