Hi, On Thu, 5 Feb 2009, Peter Baumann wrote: > On Thu, Feb 05, 2009 at 07:34:27PM +0100, Johannes Schindelin wrote: > > Valgrind 3.4.0 is pretty new, and even if --track-origins is a nice > > feature, it is not the end of the world if that is not available. So > > play nice and use that option only when only an older version of > > valgrind is available. > > Reading the patch/the sentence above suggests that you actuallly ment: > > "So play nice and don't use that option when only an older version of > valgrind is available." Yes. How did you guess? :-) Ciao, Dscho -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html