Fix "make valgrind". Fixes bug #507656 (Guillaume Desmottes).
commit48195353e0d04516a9d221a33692a1bb30345cc0
authorXavier Claessens <xclaesse@gmail.com>
Sun, 6 Jan 2008 17:57:38 +0000 (6 18:57 +0100)
committerXavier Claessens <xclaesse@gmail.com>
Sun, 6 Jan 2008 17:57:38 +0000 (6 18:57 +0100)
tree76f5f29e8e6aff7836c67a092d75d5db0040c51f
parent118e935e128e71a8b80e74b72236256aeba6e32f
Fix "make valgrind". Fixes bug #507656 (Guillaume Desmottes).
configure.ac