> >> > 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. And to make things worse, parted still won't resize ext3 partitions. *sigh*