diff options
| author | Jeremy Soller <jackpot51@gmail.com> | 2018-06-14 19:54:00 +0000 |
|---|---|---|
| committer | Jeremy Soller <jackpot51@gmail.com> | 2018-06-14 19:54:00 +0000 |
| commit | 23d58b2d5af4c8a36d72438f78e40f9da24c14cb (patch) | |
| tree | 3bc479f2dd0f840c6e8f919b72c918443ab49544 | |
| parent | 01c381b05e0d4c89331e8ead10d44730ecd68cd6 (diff) | |
| parent | 7ec9dd8e9d04225f704b7285221bc6841776eb80 (diff) | |
Merge branch 'patch-1' into 'master'
Update bootstrap.sh to gitlab.redox-os.org instead of github.com
See merge request redox-os/redox!1190
| -rwxr-xr-x | bootstrap.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bootstrap.sh b/bootstrap.sh index 6f245af..3404763 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -470,7 +470,7 @@ statusCheck() { boot() { echo "Cloning github repo..." - git clone https://github.com/redox-os/redox.git --origin upstream --recursive + git clone https://gitlab.redox-os.org/redox-os/redox.git --origin upstream --recursive rustInstall if [[ "`cargo install --list`" != *"xargo"* ]]; then cargo install xargo |