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.

Sign up for GitHub

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

Jump to bottom

fix: keep menhir .conflicts files (#6865) #9025

Closed
wants to merge 1 commit into from
Closed

fix: keep menhir .conflicts files (#6865) #9025

wants to merge 1 commit into from

Commits on Oct 28, 2023

  1. fix: keep menhir .conflicts files (ocaml#6865) 

    Add the .conflicts file to targets of menhir stanzas when the
--explain flag is present and menhir is not called with --only-tokens.
It also fixes a similar bug where .cmly files where also not kept with
sandboxing enabled. Both types of files are also now correctly
recognized as targets.

Signed-off-by: Kim Nguyễn <kim@nguyen.vg>
    @Tchou
    Tchou committed Oct 28, 2023
    Configuration menu
    Copy the full SHA
    df90e7d View commit details
    Browse the repository at this point in the history