mason.git: rename git-pull to git-clone-or-pull since that's what it does.

diff --git a/extra/mason/git/git.factor b/extra/mason/git/git.factor
index a18b386a6feeff9d4d71234b9512057d229fbda4..69106180bc54a71aaab62c6d27b121832417544b 100644 (file)
--- a/extra/mason/git/git.factor
+++ b/extra/mason/git/git.factor
@@ -86,7 +86,7 @@ IN: mason.git
 
 PRIVATE>
 
-: git-pull ( -- id )
+: git-clone-or-pull ( -- id )
     #! Must be run from builds-dir.
     "factor" exists? [
         check-repository [

diff --git a/extra/mason/updates/updates.factor b/extra/mason/updates/updates.factor
index 4b1e506d129f5cb324a78f33bdc038cb5d5746b6..839f1ea870f4a1a42dbd737dc666272571739218 100644 (file)
--- a/extra/mason/updates/updates.factor
+++ b/extra/mason/updates/updates.factor
@@ -24,7 +24,7 @@ SYMBOLS: latest-sources last-built-sources ;
 
 : update-sources ( -- )
     #! Must be run from builds-dir
-    git-pull latest-boot-image latest-counter <sources>
+    git-clone-or-pull latest-boot-image latest-counter <sources>
     latest-sources set-global ;
 
 : should-build? ( -- ? )