diff options
Diffstat (limited to 'net-p2p/mldonkey-devel/files/patch-configure')
| -rw-r--r-- | net-p2p/mldonkey-devel/files/patch-configure | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/net-p2p/mldonkey-devel/files/patch-configure b/net-p2p/mldonkey-devel/files/patch-configure deleted file mode 100644 index f0efc85a7e9..00000000000 --- a/net-p2p/mldonkey-devel/files/patch-configure +++ /dev/null @@ -1,11 +0,0 @@ ---- 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 - |