43b5eab7a4
mason.git: rename git-pull to git-clone-or-pull since that's what it does.
2015-06-10 18:52:53 -07:00
ee8be0a8dd
mason.git: fix status check.
2014-12-30 19:29:05 -08:00
9fd568267d
io.launcher: add versions of with-process that preserve process and status.
2014-12-30 14:51:23 -08:00
cd003fbef9
mason.git: fix use.
2014-12-30 14:48:21 -08:00
527177963e
mason.git: fix for rename.
2014-12-30 12:51:33 -08:00
ef6b2e231f
mason: cleanup usings and misc stuff.
2014-11-15 16:20:49 -08:00
0d02c16d14
mason.git: cleanup
2011-10-28 21:53:39 -07:00
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
396ef06355
mason: more useful logging to console, with timestamps
2011-09-09 20:21:05 -07:00
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
Doug Coleman
John Benediktsson
Slava Pestov
Slava Pestov