Re: [PATCH libdrm] Add configure option --with/--without-valgrind