diff -r e57e10a8ea1b -r a9e8f310507f benchmark/Makefile.am
--- a/benchmark/Makefile.am	Wed Oct 08 17:05:01 2008 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-if WANT_BENCHMARK
-
-noinst_HEADERS +=
-
-noinst_PROGRAMS +=
-
-endif WANT_BENCHMARK