Commit Graph

3 Commits (8baf015580a24718e9bc0f32497d258dff17a6f3)

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