@@ -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 } build-support/factor.sh 3c6f3f362bca324361b9c1c46a8fa2168e25e718 Joe Groff arcata@gmail.com http://github.com/slavapestov/factor/commit/88345c97e6d10f3dc9e29cad415000d55b433fe8 88345c97e6d10f3dc9e29cad415000d55b433fe8 2009-08-27T10:15:52-07:00 2009-08-27T10:15:52-07:00 better factor.sh output after git fetch whether script is restarted or not b4a5dceaa7edbae3c522417d7bebea8175a58541 Joe Groff arcata@gmail.com