Skip to content

"--json-output" is ignored by tool builds #125666

Description

@RalfJung

When doing something like ./x.py build miri --json-output, then the errors/warnings in Miri itself are still reported in the normal, human-readable form, and not as JSON.

I assume something somewhere around here has to use a different function for running cargo, e.g. this one.

Cc @onur-ozkan

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    T-bootstrapRelevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions