Merge branch 'master' of http://dharmatech.onigirihouse.com/factor

2008-02-06 22:54:28 -06:00 · 2008-02-06 22:54:28 -06:00 · 8f2f63677b
parent 9271da5070 01b1ba0f88
commit 8f2f63677b
1 changed files with 2 additions and 1 deletions
--- a/extra/builder/builder.factor
+++ b/extra/builder/builder.factor
@ -69,7 +69,8 @@ VAR: stamp
    "git"
    "pull"
    "--no-summary"
-    "git://factorcode.org/git/factor.git"
+    ! "git://factorcode.org/git/factor.git"
+    "http://dharmatech.onigirihouse.com/factor.git"
    "master"
  }
  run-process process-status