From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: gnu : Add Hurd headers Date: Sat, 01 Mar 2014 23:40:10 +0100 Message-ID: <87r46lv8z9.fsf@gnu.org> References: <87zjl9vltl.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:55901) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WJsZy-0006p1-7Z for Guix-devel@gnu.org; Sat, 01 Mar 2014 17:40:30 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WJsZp-0002sX-Qo for Guix-devel@gnu.org; Sat, 01 Mar 2014 17:40:22 -0500 Received: from hera.aquilenet.fr ([2a01:474::1]:40443) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WJsZp-0002rX-Jq for Guix-devel@gnu.org; Sat, 01 Mar 2014 17:40:13 -0500 In-Reply-To: (Manolis Ragkousis's message of "Sat, 1 Mar 2014 18:25:17 +0000") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Manolis Ragkousis Cc: Guix-devel@gnu.org Manolis Ragkousis skribis: > According to the hurd guys "--disable-profile" turns off profiling and th= ey > told me it should be kept . I should have explained that in a comment. I forgot to mention it, but =E2=80=9C--disable-profile disables profiling= =E2=80=9D is not a sufficient explanation. :-) At any rate, it=E2=80=99s most likely something that makes a difference for= the Hurd itself, but not for when just installing the headers. > I will talk with them about the autoconf issue. Great, thanks! Ludo=E2=80=99.