From 89b9d2af527cdb360385bb64db63e31ec54d6790 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Wed, 19 May 2010 21:28:28 +0000
Subject: [PATCH] GNU Mach, GNU Hurd: Add `-headers' in the name when asking
 for headers only.

svn path=/nixpkgs/trunk/; revision=21898
---
 pkgs/os-specific/gnu/hurd/default.nix | 2 +-
 pkgs/os-specific/gnu/mach/default.nix | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/os-specific/gnu/hurd/default.nix b/pkgs/os-specific/gnu/hurd/default.nix
index 24deb3b3d8a1..609955668e81 100644
--- a/pkgs/os-specific/gnu/hurd/default.nix
+++ b/pkgs/os-specific/gnu/hurd/default.nix
@@ -8,7 +8,7 @@ let
   rev  = "master@{${date}}";
 in
 stdenv.mkDerivation ({
-  name = "hurd-${date}";
+  name = "hurd${if headersOnly then "-headers" else ""}-${date}";
 
   src = fetchgit {
     url = "git://git.sv.gnu.org/hurd/hurd.git";
diff --git a/pkgs/os-specific/gnu/mach/default.nix b/pkgs/os-specific/gnu/mach/default.nix
index b79ef3a5c9dd..49f1f4883a3b 100644
--- a/pkgs/os-specific/gnu/mach/default.nix
+++ b/pkgs/os-specific/gnu/mach/default.nix
@@ -8,7 +8,7 @@ let
   rev = "master@{${date}}";
 in
 stdenv.mkDerivation ({
-  name = "gnumach-${date}";
+  name = "gnumach${if headersOnly then "-headers" else ""}-${date}";
 
   src = fetchgit {
     url = "git://git.sv.gnu.org/hurd/gnumach.git";