The patch adding the Hurd headers.
From cd51c0db68784b2115e4e16835cbb61e1659ca64 Mon Sep 17 00:00:00 2001
From: Manolis Ragkousis manolis...@gmail.com
Date: Sat, 1 Mar 2014 14:48:09 +
Subject: [PATCH] gnu: hurd: Add Hurd headers.
* gnu/packages/hurd.scm (hurd-headers): New variable.
---
Manolis Ragkousis manolis...@gmail.com skribis:
From cd51c0db68784b2115e4e16835cbb61e1659ca64 Mon Sep 17 00:00:00 2001
From: Manolis Ragkousis manolis...@gmail.com
Date: Sat, 1 Mar 2014 14:48:09 +
Subject: [PATCH] gnu: hurd: Add Hurd headers.
* gnu/packages/hurd.scm (hurd-headers): New
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 will talk with them about the autoconf issue.
2014-03-01 18:24 GMT+00:00 Manolis Ragkousis manolis...@gmail.com:
According to the hurd guys
Manolis Ragkousis manolis...@gmail.com 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.
