From e8f72a61dca7a048be801ab00af8465bc4fb8c7d Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Mon, 3 Mar 2008 05:02:59 -0600 Subject: [PATCH] builder: fix bug --- extra/builder/builder.factor | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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