diff options
author | Miguel de Icaza <miguel@gnome.org> | 2006-09-09 09:47:59 +0400 |
---|---|---|
committer | Miguel de Icaza <miguel@gnome.org> | 2006-09-09 09:47:59 +0400 |
commit | 05380acbc1126ad9e930acee192e93096a815ff0 (patch) | |
tree | 7cd0d879617fbaf041fc4942d39f8c2e9b1d0200 /configure.in | |
parent | 0fd0ee83b45e78cad3158adf40e770d2431a9d76 (diff) |
Do not try mint, its dead
svn path=/trunk/monodevelop/; revision=65142
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 5 |
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 |