Skip to content

Remove --{enable,disable}-orbit from ./configure. #35956

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

Closed
eddyb opened this issue Aug 24, 2016 · 0 comments
Closed

Remove --{enable,disable}-orbit from ./configure. #35956

eddyb opened this issue Aug 24, 2016 · 0 comments
Labels
C-cleanup Category: PRs that clean code up or issues documenting cleanup. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

Comments

@eddyb
Copy link
Member

eddyb commented Aug 24, 2016

All the actual machinery was removed in #35764 but the orbit option was left in for the no-mir builders.
Once buildbot restarts and no no-mir builders are gone (from the builder list), this can be removed.

@eddyb eddyb added the E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue. label Aug 24, 2016
@brson brson added C-cleanup Category: PRs that clean code up or issues documenting cleanup. A-build labels Aug 26, 2016
bors added a commit that referenced this issue Sep 4, 2016
Remove --{enable|disable}-orbit from configure.

Fixes #35956.

r? @eddyb

There are only two buildbots left, though they are both failing. Is there something to be done there other than wait?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C-cleanup Category: PRs that clean code up or issues documenting cleanup. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Projects
None yet
Development

No branches or pull requests

2 participants