Bug #10733: configure --disable-short-tags doesn't disable short-tags
| From: | jbozza at geocomm dot com | Date: | Tue, 08 May 2001 15:20:35 +0000 |
| Subject: | Bug #10733: configure --disable-short-tags doesn't disable short-tags | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-54398@lists.php.net to get a copy of this message | ||
From: jbozza@geocomm.com
Operating system: FreeBSD 4.3
PHP version: 4.0 Latest CVS (2001-05-08)
PHP Bug Type: PHP options/info functions
Bug description: configure --disable-short-tags doesn't disable short-tags
When configuring PHP4 (confirmed with latest snap from this morning) using the option
--disable-short-tags, PHP still enables short tags by default. Using --enable-short-tags=no works
just fine (though this is not available in the --help for configure)
Looking at the configure script, --disable-short-tags is never even checked.
--
Edit Bug report at: http://bugs.php.net/?id=10733&edit=1