1.1 --- a/configure.ac	Wed Oct 08 17:05:01 2008 +0100
     1.2 +++ b/configure.ac	Thu Oct 09 12:01:40 2008 +0100
     1.3 @@ -81,19 +81,6 @@
     1.4  fi
     1.5  AM_CONDITIONAL([WANT_TOOLS], [test x"$enable_tools" != x"no"])
     1.6  
     1.7 -dnl Disable/enable building the benchmarks.
     1.8 -AC_ARG_ENABLE([benchmark],
     1.9 -AS_HELP_STRING([--enable-benchmark], [build the benchmarks])
    1.10 -AS_HELP_STRING([--disable-benchmark], [do not build the benchmarks @<:@default@:>@]),
    1.11 -              [], [enable_benchmark=no])
    1.12 -AC_MSG_CHECKING([whether to build the benchmarks])
    1.13 -if test x"$enable_benchmark" != x"no"; then
    1.14 -  AC_MSG_RESULT([yes])
    1.15 -else
    1.16 -  AC_MSG_RESULT([no])
    1.17 -fi
    1.18 -AM_CONDITIONAL([WANT_BENCHMARK], [test x"$enable_benchmark" != x"no"])
    1.19 -
    1.20  dnl Checks for header files.
    1.21  AC_CHECK_HEADERS(limits.h sys/time.h sys/times.h unistd.h)
    1.22  
    1.23 @@ -132,7 +119,6 @@
    1.24  #echo CPLEX support................. : $lx_cplex_found
    1.25  #echo SOPLEX support................ : $lx_soplex_found
    1.26  #echo
    1.27 -echo Build benchmarks.............. : $enable_benchmark
    1.28  echo Build demo programs........... : $enable_demo
    1.29  echo Build additional tools........ : $enable_tools
    1.30  echo