summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorMatthias Wachs <wachs@net.in.tum.de>2011-06-15 13:12:06 +0000
committerMatthias Wachs <wachs@net.in.tum.de>2011-06-15 13:12:06 +0000
commitb42dc20d121ceb8d4a90d3024a37ae27c5f371a5 (patch)
tree3cdbc50d01fcc4d62c1e3196374bf54ca5053d1b /configure.ac
parent9fbad52a4794d81e82229fa665eb35b9c7dd1924 (diff)
Diffstat (limited to 'configure.ac')
-rw-r--r--configure.ac1
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
else
AM_CONDITIONAL(HAVE_GLPK, [test x$gplk = xtrue])
AM_CONDITIONAL(HAVE_LIBGLPK, [test x$gplk = x$gplk])
- AC_MSG_WARN([GLPK is installed])
fi
else
AC_MSG_WARN([ATS disabled])