9bb19274b2
build: Fix paths...
2020-01-04 13:47:13 -06:00
f621e69335
mason.git: new repo location
2020-01-04 08:27:16 -06:00
19616c9714
mason.git: fix parsing of "git status" command
...
--porcelain option produces machine readable output. Then if the output
is empty, the working tree is clean. The exit code doesn't need to be
checked.
2016-11-18 23:41:36 +01:00
e477f6996f
Fix comments to be ! not #!.
2015-09-08 16:15:10 -07:00
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
Björn Lindqvist
John Benediktsson
Slava Pestov
Slava Pestov