blob: f0efc85a7e90d525e30585918b8be63b908cbb1e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- config/configure.orig Sun Oct 12 20:41:28 2003
+++ config/configure Wed Jan 7 13:24:29 2004
@@ -3651,7 +3651,7 @@
case "$OCAMLVERSION" in
3.06) TYPE_FORMAT="";;
- 3.07) TYPE_FORMAT="";;
+ 3.07*) TYPE_FORMAT="";;
*) TYPE_FORMAT="type ('a,'b,'c) ml_format = ('a,'b, 'c,'c) format type ('a,'b,'c) format = ('a,'b, 'c) ml_format";;
esac
|