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

db4
Joe Groff 2009-08-27 12:15:52 -05:00
parent a76751fec2
commit 54772c9de1
1 changed files with 2 additions and 2 deletions

View File

@ -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
}