diff options
-rw-r--r-- | configure.ac | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 3373b1a12..0fc1ebe02 100644 --- a/configure.ac +++ b/configure.ac | |||
@@ -268,7 +268,6 @@ then | |||
268 | else | 268 | else |
269 | AM_CONDITIONAL(HAVE_GLPK, [test x$gplk = xtrue]) | 269 | AM_CONDITIONAL(HAVE_GLPK, [test x$gplk = xtrue]) |
270 | AM_CONDITIONAL(HAVE_LIBGLPK, [test x$gplk = x$gplk]) | 270 | AM_CONDITIONAL(HAVE_LIBGLPK, [test x$gplk = x$gplk]) |
271 | AC_MSG_WARN([GLPK is installed]) | ||
272 | fi | 271 | fi |
273 | else | 272 | else |
274 | AC_MSG_WARN([ATS disabled]) | 273 | AC_MSG_WARN([ATS disabled]) |