> > The build machines are broken. Probably a full disk! *hides* > > At the same time "everyone" agrees that "disk is cheap, no need to save > on it"... Disk space is cheap, but I'm still amazed at how quickly it fills up. Usually, the disk has plenty of space, but the partitions are too small. ;-] R.