factor

Author	SHA1	Message	Date
John Benediktsson	9c323e2884	cleanup some uses of current-directory.	2016-03-18 17:04:05 -07:00
John Benediktsson	ef6b2e231f	mason: cleanup usings and misc stuff.	2014-11-15 16:20:49 -08:00
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