steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

builder: show git-id in report

db4
Eduardo Cavazos 2008-03-03 04:56:39 -06:00
parent e95a79b50c
commit 8bce800b4a
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
extra/builder/builder.factor
View File

@ -108,7 +108,8 @@ SYMBOL: build-status
"Build machine: " write host-name print "Build machine: " write host-name print
"CPU: " write cpu print "CPU: " write cpu print
"OS: " write os print "OS: " write os print
"Build directory: " write cwd print nl "Build directory: " write cwd print
"git id: " write "git-id" eval-file print
git-clone [ "git clone failed" print ] run-or-bail git-clone [ "git clone failed" print ] run-or-bail