On Thu, 18 Dec 2003, Derick Rethans wrote: > On Thu, 18 Dec 2003, Andi Gutmans wrote: > > > Is it OK with latest HEAD? I saw Rasmus commited a patch. > > Yes, works in HEAD now.
But now I get a link error: gcc: /usr/lib/libtidy.so: No such file or directory [EMAIL PROTECTED]:/dat/dev/php/php-5.0dev$ ls -l /usr/lib/libtidy* lrwxrwxrwx 1 root root 21 Dec 10 10:05 /usr/lib/libtidy-0.99.so.0 -> libtidy-0.99.so.0.0.0 -rw-r--r-- 1 root root 298172 Nov 18 00:12 /usr/lib/libtidy-0.99.so.0.0.0 -rw-r--r-- 1 root root 350916 Nov 18 00:12 /usr/lib/libtidy.a -rw-r--r-- 1 root root 814 Nov 18 00:12 /usr/lib/libtidy.la regards, Derick -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
