> added with PHP_ADD_LIBRARY and without further checks. Also some libraries > are linked more than once.
That's not a problem.
> Should we change PHP_ADD_LIBRARY and PHP_ADD_LIBRARY_WITH_PATH
> to check whether the library was already added and whether at least the
> file exists?
No. It's _ADD_ library, not CHECK_FOR library.
- Sascha
--
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, visit: http://www.php.net/unsub.php
