Skip to content

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

New issue
New issue
Closed
Closed
Remove --{enable,disable}-orbit from ./configure.#35956
Labels
C-cleanupCategory: PRs that clean code up or issues documenting cleanup.E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
@eddyb

Description

@eddyb
eddyb
opened on 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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-cleanupCategory: PRs that clean code up or issues documenting cleanup.E-easyCall for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions