Commit 9be82389 authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski Committed by Marge Bot
Browse files

boot: Remove remote origin check

Previously, we used relative paths in submodules. When cloning from
GitHub, they had to be manually tweaked.
Since a76b233d we use absolute paths, so this workaround can be removed.
parent 59c023ba
......@@ -28,43 +28,8 @@ def die(mesg):
def check_for_url_rewrites():
if os.path.isdir('.git') and \
subprocess.check_output('git config remote.origin.url'.split()).find(b'') != -1 and \['git', 'config', '--get-regexp', '^url.**/packages-.insteadOf']) != 0:
# If we cloned from github, make sure the url rewrites are set.
# Otherwise 'git submodule update --init' prints confusing errors.
It seems you cloned this repository from GitHub. But your git config files
don't contain the url rewrites that are needed to make this work (GitHub
doesn't support '/' in repository names, so we use a different naming scheme
for the submodule repositories there).
Please run the following commands first:
git config --global url."git://".insteadOf git://
git config --global url."".insteadOf
git config --global url."".insteadOf
git config --global url."ssh://git\".insteadOf ssh://git\
git config --global url."git\".insteadOf git\
And then:
git submodule update --init
Or start over, and clone the GHC repository from the haskell server:
git clone --recursive
For more information, see:
* or
def check_boot_packages():
# Check that we have all boot packages.
import re
for l in open('packages', 'r'):
if l.startswith('#'):
......@@ -200,7 +165,6 @@ def check_build_mk():
if not args.hadrian:
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment