better factor.sh output after git fetch whether script is restarted or not

diff --git a/build-support/factor.sh b/build-support/factor.sh
index 1bddb935ab3361283551100cd6ad20e9edb2689b..4943d3e5c0e2bdc36145f5bccda5b1c8a697862b 100755 (executable)
--- 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
 }