>>>>> "Darren" == Darren J Moffat <Darren> writes:
Mike> Yeah, the discrepancy between -i on the command line and -i in Mike> NIGHTLY_OPTIONS is awkward. Probably better to add support for "+l" Mike> to disable linting. Darren> I thought that but didn't want to suggest + options because we Darren> didn't have them before Well, we have +t already to disable the tools build (nightly) or ignore the workspace's local tools (bldenv). Darren> (plus they look strange to me :-)). Yeah, there's something counter-intuitive about using "+" to mean "don't do <stuff>". BTW, Jonathan Adams just updated the "bldenv -d" bug (6414851) to point out that if bldenv defaults to debug builds when -D is present in NIGHTLY_OPTIONS, we'll want a command-line mechanism to override that (i.e., to force a non-debug build). mike
