Skip to content

Miri sysroot keeps being rebuilt when running ./x miri multiple times #137605

@RalfJung

Description

@RalfJung

When I do ./x miri std -- f64 && ./x miri std -- f64, it re-builds the Miri sysroot for the second invocation. That should not happen, it should cache the sysroot. I am pretty sure (but not 100% sure) this used to work properly when I added ./x miri.

@onur-ozkan you changed this code recently in #137215; could that have caused this problem?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions