added config.w32
[m6w6/ext-raphf] / config.m4
index 7b68eba1848ad1cddc30a52e5df06c615e5ecb8d..c79697465de75cb1c1a15a631dbc23fd1ec98923 100644 (file)
--- a/config.m4
+++ b/config.m4
@@ -1,8 +1,7 @@
 PHP_ARG_ENABLE(raphf, whether to enable raphf support,
-[  --enable-raphf           Enable raphf support])
+[  --enable-raphf           Enable resource and persistent handles factory support])
 
 if test "$PHP_RAPHF" != "no"; then
-       dnl PHP_SUBST(RAPHF_SHARED_LIBADD)
        PHP_INSTALL_HEADERS(ext/raphf, php_raphf.h)
        PHP_NEW_EXTENSION(raphf, php_raphf.c, $ext_shared)
 fi