Slava Pestov feffc260d6 mason: various assorted improvements ... - put disk usage in build report - bump minimum disk space required before starting a build from 300mb to 1gb - check repository consistency before pulling; if there are untracked files, or if the pull fails, blow away the repo and clone it again		2010-09-05 15:22:02 -07:00
..
updates.factor	mason: various assorted improvements	2010-09-05 15:22:02 -07:00