diff -r de38fca76780 -r 12626fc94ccf benchmark/Makefile.am
--- a/benchmark/Makefile.am	Thu Oct 09 13:52: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