With the new build system, is there a way to clean/build just one extension, as opposed to having to do it to the whole tree? Something like "make clean ext=wddx", perhaps?
-Andrei http://www.gravitonic.com/ I must say I find television very educational. The minute somebody turns it on, I go to the library and read a good book. - Groucho Marx -- PHP Development Mailing List <http://www.php.net/> To unsubscribe, visit: http://www.php.net/unsub.php
