Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael Hutchinson <m.j.hutchinson@gmail.com>2013-09-03 22:22:35 +0400
committerMichael Hutchinson <m.j.hutchinson@gmail.com>2013-09-04 00:46:11 +0400
commite5566214fec2503b5cc230112e73fb5fb6855e51 (patch)
treebd40534f4098dadfee77fb6d6102fb0c2b3dd105 /main/configure.in
parent2a53bcfadf99c624efce4d7752d9f57ea5dd1e1d (diff)
Bump configure.in to require Mono 3.0.4+
Diffstat (limited to 'main/configure.in')
-rw-r--r--main/configure.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/main/configure.in b/main/configure.in
index e14cdc0707..d748785bb5 100644
--- a/main/configure.in
+++ b/main/configure.in
@@ -29,7 +29,7 @@ fi
AC_PATH_PROG(PKG_CONFIG, pkg-config, no)
-MONO_REQUIRED_VERSION=2.10.9
+MONO_REQUIRED_VERSION=3.0.4
if ! $PKG_CONFIG --atleast-version=$MONO_REQUIRED_VERSION mono; then
AC_MSG_ERROR([You need mono $MONO_REQUIRED_VERSION or newer])