verus-lang / verus-mode.el

Support for Verus programming in Emacs
BSD 3-Clause "New" or "Revised" License
5 stars 0 forks source link

Don't send repeating commands, if specified in `Cargo.toml` #5

Closed jaybosamiya closed 1 year ago

jaybosamiya commented 1 year ago

In particular, if the Cargo.toml specifies something like --crate-type=lib or such, then don't send it again (or if it says dylib then don't send lib and dylib; etc).

Also, if it says --expand-errors, then don't repeat-send that for flycheck, it breaks things.