On Fri, Oct 16, 2020 at 1:05 AM Jed Brown <j...@jedbrown.org> wrote: > Barry Smith <bsm...@petsc.dev> writes: > > > Could it error if the input starts with PETS_ to prevent inadvertent > mistakes hanging around for years? > > Source checks could warn, but cpp macros can't do substring matching. >
You would want to check this before CI, so live with it.
