[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: gnu : Add Hurd headers
|
From: |
Ludovic Courtès |
|
Subject: |
Re: gnu : Add Hurd headers |
|
Date: |
Sat, 01 Mar 2014 23:40:10 +0100 |
|
User-agent: |
Gnus/5.130007 (Ma Gnus v0.7) Emacs/24.3 (gnu/linux) |
Manolis Ragkousis <address@hidden> skribis:
> According to the hurd guys "--disable-profile" turns off profiling and they
> told me it should be kept . I should have explained that in a comment.
I forgot to mention it, but “--disable-profile disables profiling” is
not a sufficient explanation. :-)
At any rate, it’s 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’.