Manolis Ragkousis <[email protected]> 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’.
