} ;
: git-clone ( -- )
- #! Must be run from builds-dir
+ ! Must be run from builds-dir
"Cloning initial repository" print-timestamp
git-clone-cmd try-output-process ;
{ "git" "status" } ;
: git-status-failed ( error -- )
- #! Exit code 1 means there's nothing to commit.
+ ! Exit code 1 means there's nothing to commit.
dup { [ process-failed? ] [ code>> 1 = ] } 1&&
[ drop ] [ rethrow ] if ;
PRIVATE>
: git-clone-or-pull ( -- id )
- #! Must be run from builds-dir.
+ ! Must be run from builds-dir.
"factor" exists? [
check-repository [
"factor" [