From owner-freebsd-ports@FreeBSD.ORG  Sun Jan 15 21:06:15 2012
Return-Path: <owner-freebsd-ports@FreeBSD.ORG>
Delivered-To: freebsd-ports@FreeBSD.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 5515C1065676
	for <freebsd-ports@FreeBSD.org>; Sun, 15 Jan 2012 21:06:15 +0000 (UTC)
	(envelope-from avg@FreeBSD.org)
Received: from citadel.icyb.net.ua (citadel.icyb.net.ua [212.40.38.140])
	by mx1.freebsd.org (Postfix) with ESMTP id 8210C8FC0C
	for <freebsd-ports@FreeBSD.org>; Sun, 15 Jan 2012 21:06:14 +0000 (UTC)
Received: from porto.starpoint.kiev.ua (porto-e.starpoint.kiev.ua
	[212.40.38.100])
	by citadel.icyb.net.ua (8.8.8p3/ICyb-2.3exp) with ESMTP id XAA10608;
	Sun, 15 Jan 2012 23:06:10 +0200 (EET) (envelope-from avg@FreeBSD.org)
Received: from localhost ([127.0.0.1])
	by porto.starpoint.kiev.ua with esmtp (Exim 4.34 (FreeBSD))
	id 1RmXHF-000P3o-Vl; Sun, 15 Jan 2012 23:06:10 +0200
Message-ID: <4F133FBF.7050707@FreeBSD.org>
Date: Sun, 15 Jan 2012 23:06:07 +0200
From: Andriy Gapon <avg@FreeBSD.org>
User-Agent: Mozilla/5.0 (X11; FreeBSD amd64;
	rv:9.0) Gecko/20111222 Thunderbird/9.0
MIME-Version: 1.0
To: Chris Rees <utisoft@gmail.com>
References: <4ED3CDDD.4030703@FreeBSD.org> <4F0DB8C9.5060203@FreeBSD.org>
	<CADLo839F8XZtTe-JgQjZuXtz29RHHVdSmTWnXFuKyFayym=zGg@mail.gmail.com>
In-Reply-To: <CADLo839F8XZtTe-JgQjZuXtz29RHHVdSmTWnXFuKyFayym=zGg@mail.gmail.com>
X-Enigmail-Version: undefined
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Cc: michael.grunewald@laposte.net, FreeBSD Ports <freebsd-ports@FreeBSD.org>
Subject: Re: lang/ocaml: configure script not freebsd10 friendly
X-BeenThere: freebsd-ports@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Porting software to FreeBSD <freebsd-ports.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports>,
	<mailto:freebsd-ports-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-ports>
List-Post: <mailto:freebsd-ports@freebsd.org>
List-Help: <mailto:freebsd-ports-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports>,
	<mailto:freebsd-ports-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sun, 15 Jan 2012 21:06:15 -0000

on 15/01/2012 22:32 Chris Rees said the following:
> Lacking a response from the maintainer I've committed your fix (but
> kept it in patch-configure).

Thank you!

-- 
Andriy Gapon