diff --git a/extra/builder/builder.factor b/extra/builder/builder.factor index fbe4f6149f..92cd5f5241 100644 --- a/extra/builder/builder.factor +++ b/extra/builder/builder.factor @@ -109,7 +109,6 @@ SYMBOL: build-status "CPU: " write cpu print "OS: " write os print "Build directory: " write cwd print - "git id: " write "git-id" eval-file print git-clone [ "git clone failed" print ] run-or-bail @@ -126,6 +125,8 @@ SYMBOL: build-status "test-log" delete-file + "git id: " write "git-id" eval-file print nl + "Boot time: " write "boot-time" eval-file milli-seconds>time print "Load time: " write "load-time" eval-file milli-seconds>time print "Test time: " write "test-time" eval-file milli-seconds>time print nl