diff configure @ 678:948271d124ac

Make more (though still not entirely) robust in the face of running out of disc space
author Chris Cannam
date Thu, 14 Apr 2011 15:20:27 +0100
parents 5f75414d85f6
children 97fbb6b3e749
line wrap: on
line diff