factor

Author	SHA1	Message	Date
Doug Coleman	feeea08023	Remove really-delete-tree in favor of setting the file attributes to normal on Windows deletes.	2011-10-19 02:28:52 -07:00
Slava Pestov	396ef06355	mason: more useful logging to console, with timestamps	2011-09-09 20:21:05 -07: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