From 8bce800b4a77537735876040c7dc1a0278eb25b6 Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Mon, 3 Mar 2008 04:56:39 -0600 Subject: [PATCH] builder: show git-id in report --- 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 ecce3275cb..fbe4f6149f 100644 --- a/extra/builder/builder.factor +++ b/extra/builder/builder.factor @@ -108,7 +108,8 @@ SYMBOL: build-status "Build machine: " write host-name print "CPU: " write cpu 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