Revert "build.cmd: github is source of truth now"

This reverts commit d7af258eb7.

I renamed /git/factor-github.git to /git/factor.git
fix-linux
Doug Coleman 2020-01-04 13:21:28 -06:00
parent 4da6f51c91
commit 596d44f5af
1 changed files with 1 additions and 1 deletions

View File

@ -39,7 +39,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 https://github.com/factor/factor %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...