factor

Author	SHA1	Message	Date
Slava Pestov	fd944c5726	mason.git: cleanup	2011-10-28 21:53:39 -07:00
Doug Coleman	79668aec2a	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	da2809296a	mason: more useful logging to console, with timestamps	2011-09-09 20:21:05 -07:00
Slava Pestov	9de949b3be	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