mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-28 10:08:24 +00:00
12 lines
359 B
Plaintext
12 lines
359 B
Plaintext
--- 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
|
|
|