Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merge ./mach bootstrap-rust and ./mach bootstrap-cargo #18874

Closed
nox opened this issue Oct 14, 2017 · 7 comments
Closed

Merge ./mach bootstrap-rust and ./mach bootstrap-cargo #18874

nox opened this issue Oct 14, 2017 · 7 comments

Comments

@nox
Copy link
Member

@nox nox commented Oct 14, 2017

They share the same version numbers now anyway.

@tigercosmos
Copy link
Collaborator

@tigercosmos tigercosmos commented Oct 26, 2017

Is there more information about this issue?

@SimonSapin
Copy link
Member

@SimonSapin SimonSapin commented Oct 26, 2017

These sub-commands are defined in python/servo/bootstrap_commands.py. It’s not useful to run one without the other, so they could both be replaced with one. Note however that there’s already an existing bootstrap sub-command that does something else.

@tigercosmos
Copy link
Collaborator

@tigercosmos tigercosmos commented Oct 26, 2017

How do you suggest to solve this? Is it a good way to name a new sub-command to combine them? And what should the new sub-command name?

@SimonSapin
Copy link
Member

@SimonSapin SimonSapin commented Oct 26, 2017

I guess folding bootstrap-cargo into bootstrap-rust (keeping the latter’s name) would work.

@SimonSapin
Copy link
Member

@SimonSapin SimonSapin commented Oct 26, 2017

Though personally I don’t care much about doing that v.s. the status quo, I usually run ./mach fetch to fetch/bootstrap everything. Maybe @nox, having filed this issue, has opinions.

@tigercosmos
Copy link
Collaborator

@tigercosmos tigercosmos commented Nov 23, 2017

@nox How do you think?

@SimonSapin
Copy link
Member

@SimonSapin SimonSapin commented Nov 27, 2017

I’m starting to work on #11361. Both subcommands will probably be removed in the process, making this issue moot.

SimonSapin added a commit that referenced this issue Nov 27, 2017
SimonSapin added a commit that referenced this issue Nov 28, 2017
SimonSapin added a commit that referenced this issue Dec 9, 2017
bors-servo added a commit that referenced this issue Dec 12, 2017
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
SimonSapin added a commit that referenced this issue Dec 14, 2017
bors-servo added a commit that referenced this issue Dec 14, 2017
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
SimonSapin added a commit that referenced this issue Dec 19, 2017
bors-servo added a commit that referenced this issue Dec 19, 2017
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
SimonSapin added a commit that referenced this issue Dec 19, 2017
bors-servo added a commit that referenced this issue Dec 19, 2017
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Dec 20, 2017
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
SimonSapin added a commit that referenced this issue Jan 7, 2018
bors-servo added a commit that referenced this issue Jan 7, 2018
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Jan 8, 2018
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Jan 9, 2018
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Jan 9, 2018
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Jan 9, 2018
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Jan 9, 2018
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
SimonSapin added a commit that referenced this issue Jan 9, 2018
bors-servo added a commit that referenced this issue Jan 9, 2018
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874, fixes #19365.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
SimonSapin added a commit that referenced this issue Jan 9, 2018
bors-servo added a commit that referenced this issue Jan 9, 2018
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874, fixes #19365.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Jan 10, 2018
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874, fixes #19365.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Jan 10, 2018
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874, fixes #19365.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
bors-servo added a commit that referenced this issue Jan 10, 2018
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874, fixes #19365.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
SimonSapin added a commit that referenced this issue Jan 10, 2018
bors-servo added a commit that referenced this issue Jan 10, 2018
Use rustup.rs instead of custom bootstrap

Fixes #11361, closes #18874, fixes #19365.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/19395)
<!-- Reviewable:end -->
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

3 participants
You can’t perform that action at this time.