Re: [Valgrind-developers] Renaming --weird-hacks=

[Tom H. <to...@co...>]

In message <200...@ac...>
        Julian Seward <js...@ac...> wrote:

> I'd like to rename this (still marginally useful) flag for 3 reasons:
> - it sounds hacky and unprofessional
> - it conveys near-zero info to the reader about what it does
> - i can never remember how to spell weird (wierd?)
>
> I was thinking of --simulation-hints=, which imo addresses all 3 
> problems.  What do you think?

Sounds fine to me.

To


-- 
Tom Hughes (to...@co...)
http://www.compton.nu/