diff -r c887e703b566 -r a4d499904482 benchmark/Makefile.am
--- a/benchmark/Makefile.am	Thu Oct 09 11:58:24 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