diff options
| author | Peter Kokot <peterkokot@gmail.com> | 2018-08-06 01:22:17 +0200 |
|---|---|---|
| committer | Peter Kokot <peterkokot@gmail.com> | 2018-08-06 01:22:17 +0200 |
| commit | 45a3c0e5969b482ffdcf5674039784b3a2c24e33 (patch) | |
| tree | 7ac50be57ad602fa063cf4e54c7b0bc4d35e8ec7 | |
| parent | 169a98319a8e0bf07efeecc5c0026487febd9c6e (diff) | |
| download | php-git-45a3c0e5969b482ffdcf5674039784b3a2c24e33.tar.gz | |
Fix bug #72443: Generate enabled extension
The PHP extension generator script now generates enabled extension with
less required steps for using the newly generated files.
| -rwxr-xr-x | ext/ext_skel | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ext/ext_skel b/ext/ext_skel index f5b9b2578d..63563e7f02 100755 --- a/ext/ext_skel +++ b/ext/ext_skel @@ -120,9 +120,9 @@ dnl [ --with-$extname Include $extname support]) dnl Otherwise use enable: -dnl PHP_ARG_ENABLE($extname, whether to enable $extname support, +PHP_ARG_ENABLE($extname, whether to enable $extname support, dnl Make sure that the comment is aligned: -dnl [ --enable-$extname Enable $extname support]) +[ --enable-$extname Enable $extname support]) if test "\$PHP_$EXTNAME" != "no"; then dnl Write more examples of tests here... @@ -179,7 +179,7 @@ cat >config.w32 <<eof // ARG_WITH("$extname", "for $extname support", "no"); // Otherwise, use ARG_ENABLE -// ARG_ENABLE("$extname", "enable $extname support", "no"); +ARG_ENABLE("$extname", "enable $extname support", "no"); if (PHP_$EXTNAME != "no") { EXTENSION("$extname", "$extname.c", PHP_EXTNAME_SHARED, "/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1"); |