commit | 0a0fcee6ba7e779cdc3286ed5dce2b869018ffe8 | [log] [tgz] |
---|---|---|
author | tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Jan 05 00:12:45 2008 +0000 |
committer | tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Jan 05 00:12:45 2008 +0000 |
tree | 4482643e285565c354e3aed596dd5d27ddaf3074 | |
parent | 26b9c875c1028d8b689f628f1305f4078bdb2818 [diff] |
Add drd suppression file to the default suppressions and avoid including core headers in the drd tool. Patch from Bart Van Assche <bart.vanassche@gmail.com>. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7318 a5019735-40e9-0310-863c-91ae7b9d1cf9