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:
Diffstat (limited to 'configure.in')
-rw-r--r--configure.in5
1 files changed, 1 insertions, 4 deletions
diff --git a/configure.in b/configure.in
index 2271d88ed2..5162c2428c 100644
--- a/configure.in
+++ b/configure.in
@@ -11,10 +11,7 @@ AC_PATH_PROG(MONO, mono)
AC_PATH_PROG(MCS, gmcs)
if test "x$MONO" = "x" ; then
- AC_PATH_PROG(MINT, mint)
- if test "x$MINT" = "x" ; then
- AC_MSG_ERROR([Can't find "mono" or "mint" in your PATH])
- fi
+ AC_MSG_ERROR([Can't find "mono" in your PATH])
fi
if test "x$MCS" = "x" ; then