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

factor.cmd: git pull from http doesn't update my local master to remote's 

master. using git:// instead.
db4
Doug Coleman 2015-08-17 13:23:11 -05:00
parent 9d428cbcaf
commit 048bdca050
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build-support/factor.cmd
View File

@ -46,7 +46,7 @@ echo Deleting staging images from temp/...
del temp\staging.*.image del temp\staging.*.image
echo Updating working copy from %_git_branch%... echo Updating working copy from %_git_branch%...
call git pull http://factorcode.org/git/factor.git %_git_branch% call git pull git://factorcode.org/git/factor.git %_git_branch%
if errorlevel 1 goto fail if errorlevel 1 goto fail
echo Building vm... echo Building vm...