From: Doug Coleman <doug.coleman@gmail.com>
Date: Thu, 11 Jun 2015 01:52:53 +0000 (-0700)
Subject: mason.git: rename git-pull to git-clone-or-pull since that's what it does.
X-Git-Tag: unmaintained~2611
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=43b5eab7a44cff2046717f65a5735e58476ab66c

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 a18b386a6f..69106180bc 100644
--- 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 4b1e506d12..839f1ea870 100644
--- 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? ( -- ? )