[Mldonkey-commits] Changes to mldonkey/config/configure.in

[mldonkey-commits]

Index: mldonkey/config/configure.in
diff -u mldonkey/config/configure.in:1.206 mldonkey/config/configure.in:1.207
--- mldonkey/config/configure.in:1.206  Wed Aug 10 23:16:41 2005
+++ mldonkey/config/configure.in        Mon Aug 15 20:31:29 2005
@@ -102,9 +102,9 @@
 else
   echo ""
 fi
-REQUIRED_OCAML=3.08.3
+REQUIRED_OCAML=3.08.4
 DOWNLOAD_OCAML_MAJOR=3.08
-DOWNLOAD_OCAML=3.08.3
+DOWNLOAD_OCAML=3.08.4
 
 REQUIRED_LABLGTK=1.2.7
 
@@ -283,6 +283,7 @@
   OCAMLVERSION=`$OCAMLC -v | sed -n -e 's|.*version* *\(.*\)$|\1|p' `
   case "$OCAMLVERSION" in
     "$REQUIRED_OCAML"*) ;;
+    3.08.3*) ;;
     3.08.2*)
         if test "$system" = "rhapsody"; then
             case "$OCAMLVERSION" in