|
From: Jeremy F. <je...@go...> - 2005-02-11 18:41:44
|
On Fri, 2005-02-11 at 17:19 +0000, Julian Seward wrote: > Hmm, yes, fair enough. Perhaps it is a good idea. > > I think the meaning isn't too clear from the flag name, tho. > "config" is too vague a term. > > I was thinking --ignore-valgrindrc > but then that doesn't make it clear that $VALGRIND_OPTS is > also ignored. > > Hmm. How about --cmd-line-opts-only ? I'd go for --command-line-only=yes, or maybe --option-search=no. I'd prefer to avoid a CLO with a negative in it. It doesn't matter if its long, because it won't be used too much (in the regtest, and maybe other places where V is invoked by some other tool). J |