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

master. using git:// instead.

diff --git a/build-support/factor.cmd b/build-support/factor.cmd
index d53c22c74c221ad766631691283899395b444631..b14f4dbe1ed092743f9c22a0529c304b5d9680ad 100644 (file)
--- a/build-support/factor.cmd
+++ b/build-support/factor.cmd
@@ -46,7 +46,7 @@ echo Deleting staging images from temp/...
 del temp\staging.*.image
 
 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
 
 echo Building vm...