On Tue, Feb 14, 2012 at 09:22:40AM +0100, Clément Bœsch wrote: > Since the full-valgrind instance uses the --valgrind option (can't be done > easily for the no-undef one for various reasons) Which are those various reasons?