* Re: PATCH: move Valgrind header checks from "valgrind" to "misc" checking
@ 2011-05-28 21:56 Laurynas Biveinis
0 siblings, 0 replies; only message in thread
From: Laurynas Biveinis @ 2011-05-28 21:56 UTC (permalink / raw)
To: gcc-patches
PING
http://codereview.appspot.com/4250047
http://gcc.gnu.org/ml/gcc/2011-01/msg00363.html
this patch moves Valgrind header detection from "valgrind" checking to "misc"
and enables
the latter whenever the former is enabled.
If only "misc" is enabled, then Valgrind header presence is optional.
I plan to followup with another patch that adds new configure option
--enable-valgrind-annotations that is orthogonal to checking and causes
configure to fail
if headers are not present. Also I will update wwwdocs once this is accepted to
trunk.
--
Laurynas
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-05-28 17:05 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-05-28 21:56 PATCH: move Valgrind header checks from "valgrind" to "misc" checking Laurynas Biveinis
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).