steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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

Joe Groff 2009-08-27 12:15:52 -05:00
parent 3c6f3f362b
commit 88345c97e6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
build-support/factor.sh
View File

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