tree 80ffee8456e599413e115e0fa7ec2657476be1c3
parent 9fdca565049e35998c06d96ca97beb84d9c7f39d
author bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1334774062 +0000
committer bart <bart@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1334774062 +0000

configure.in: Fix detection of Boost libraries. Reported by <plug.gulp@gmail.com>.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12507 a5019735-40e9-0310-863c-91ae7b9d1cf9