On Tue, Jul 18, 2023 at 3:50 PM Carlos Bilbao <carlos.bilbao@xxxxxxx> wrote: > > On 7/17/23 11:37, Miguel Ojeda wrote: > > > > Also, I assume this is intended to be overridable by the user, right? > > i.e. that is why you wrote the identifier as uppercase. > > That's true, I don't see any reason to make this uppercase. I don't know -- perhaps users may want to override the output location. `BUILDDIR` is intended to be overridable, so we should consider what should be the behavior when one overrides one but not the other. Or perhaps this one shouldn't be overridable, like you did in v8, in which case we should still make sure things work if that one (`BUILDDIR`) is overridden. Cheers, Miguel
