From 88345c97e6d10f3dc9e29cad415000d55b433fe8 Mon Sep 17 00:00:00 2001
From: Joe Groff <arcata@gmail.com>
Date: Thu, 27 Aug 2009 12:15:52 -0500
Subject: [PATCH] better factor.sh output after git fetch whether script is
 restarted or not

---
 build-support/factor.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build-support/factor.sh b/build-support/factor.sh
index 1bddb935ab..4943d3e5c0 100755
--- a/build-support/factor.sh
+++ b/build-support/factor.sh
@@ -359,8 +359,6 @@ update_script_name() {
 }
 
 update_script() {
-    echo "Updating and restarting the factor.sh script..."
-
     update_script=`update_script_name`
     
     echo "#!/bin/sh" >"$update_script"
@@ -384,8 +382,10 @@ git_fetch_factorcode() {
     invoke_git fetch "$GIT_URL" master
 
     if update_script_changed; then
+        echo "Updating and restarting the factor.sh script..."
         update_script
     else
+        echo "Updating the working tree..."
         invoke_git pull "$GIT_URL" master
     fi
 }