> 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