mldonkey-commits
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: mldonkey-commits
Subject: [Mldonkey-commits] Changes to mldonkey/config/configure.in
Date: Mon, 15 Aug 2005 18:42:21 -0400 
Index: mldonkey/config/configure.in
diff -u mldonkey/config/configure.in:1.208 mldonkey/config/configure.in:1.209
--- mldonkey/config/configure.in:1.208  Mon Aug 15 21:56:53 2005
+++ mldonkey/config/configure.in        Mon Aug 15 22:42:20 2005
@@ -455,6 +455,7 @@
     REBUILD_OCAML=no
   case "$OCAMLVERSION" in
     "$REQUIRED_OCAML"*) ;;
+    3.08.3*) ;;
     3.08.2*)
         if test "$system" = "rhapsody"; then
             case "$OCAMLVERSION" in
reply via email to
[Prev in Thread] Current Thread [Next in Thread]