benchmark/Makefile.am
changeset 317 a0ab96ad65fe
parent 316 689f24ee83e6
parent 315 c175e387da19
child 318 1e2d6ca80793
     1.1 --- a/benchmark/Makefile.am	Thu Oct 09 16:47:01 2008 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,7 +0,0 @@
     1.4 -if WANT_BENCHMARK
     1.5 -
     1.6 -noinst_HEADERS +=
     1.7 -
     1.8 -noinst_PROGRAMS +=
     1.9 -
    1.10 -endif WANT_BENCHMARK