On Jan 7, 2008, at 9:05 AM, Dennis Gilmore wrote: > xs-dev ran out of disk space A proper solution for this will be in place shortly. xs-dev should have never become the central build machine. -- Ivan Krstić <krstic at solarsail.hcs.harvard.edu> | http://radian.org