]> gitweb.factorcode.org Git - factor.git/commitdiff
build-from-source: don't use github-git-uri by default
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 28 Apr 2023 17:39:51 +0000 (10:39 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 28 Apr 2023 17:39:51 +0000 (10:39 -0700)
extra/build-from-source/build-from-source.factor

index f29912df2a3401e617637d841fe33be9b4fe0247..aa22a119c24bf9e470442cff204b9f13d4fe8133 100644 (file)
@@ -10,7 +10,7 @@ splitting system unicode ;
 IN: build-from-source
 
 INITIALIZED-SYMBOL: use-gitlab-git-uris [ f ]
-INITIALIZED-SYMBOL: use-github-git-uris [ t ]
+INITIALIZED-SYMBOL: use-github-git-uris [ f ]
 
 : dll-out-directory ( -- path )
     vm-path parent-directory cell-bits "dlls%s-out" sprintf append-path