| commit | 05c459ea63c50a072cf1eb0868590e9c0b362f30 | [log] [tgz] |
|---|---|---|
| author | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Jul 05 14:07:43 2014 +0000 |
| committer | philippe <philippe@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Sat Jul 05 14:07:43 2014 +0000 |
| tree | 8ad404bc72da0050a382c3d89f551ca7e0265701 | |
| parent | 87491452ffcd9505916cbba90e5430ce5f6dc502 [diff] |
Small fixes/improvements post-cfsi_m improvement * Avoid printing the size of a null dedup pool * Avoid warnings of 2 unused variables on some platforms git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14132 a5019735-40e9-0310-863c-91ae7b9d1cf9