cvs: no space left on device

CVS can produce a « no space left on device » error, not only when the filesystem that contains the CVS repository is full, but also when the temp directory is full.