diff -r 689f24ee83e6 -r a0ab96ad65fe benchmark/Makefile.am
--- a/benchmark/Makefile.am	Thu Oct 09 16:47:01 2008 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-if WANT_BENCHMARK
-
-noinst_HEADERS +=
-
-noinst_PROGRAMS +=
-
-endif WANT_BENCHMARK