Searched refs:PHP_UNKNOWN_CONFIGURE_OPTIONS (Results 1 – 12 of 12) sorted by relevance
1703 if test "$PHP_UNKNOWN_CONFIGURE_OPTIONS"; then1705 $PHP_UNKNOWN_CONFIGURE_OPTIONS
2785 PHP_UNKNOWN_CONFIGURE_OPTIONS="$PHP_UNKNOWN_CONFIGURE_OPTIONS
2797 PHP_UNKNOWN_CONFIGURE_OPTIONS="$PHP_UNKNOWN_CONFIGURE_OPTIONS
107052 PHP_UNKNOWN_CONFIGURE_OPTIONS="$PHP_UNKNOWN_CONFIGURE_OPTIONS107872 if test "$PHP_UNKNOWN_CONFIGURE_OPTIONS"; then107874 $PHP_UNKNOWN_CONFIGURE_OPTIONS
2738 PHP_UNKNOWN_CONFIGURE_OPTIONS="$PHP_UNKNOWN_CONFIGURE_OPTIONS