From f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff Mon Sep 17 00:00:00 2001
From: Vladimír Čunát <vcunat@gmail.com>
Date: Sat, 17 Sep 2016 10:51:32 +0200
Subject: bash 4.4: split headers into .dev

---
 pkgs/shells/bash/4.4.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'pkgs/shells/bash')

diff --git a/pkgs/shells/bash/4.4.nix b/pkgs/shells/bash/4.4.nix
index a401628dabd..406ca4d08fd 100644
--- a/pkgs/shells/bash/4.4.nix
+++ b/pkgs/shells/bash/4.4.nix
@@ -25,7 +25,7 @@ stdenv.mkDerivation rec {
 
   hardeningDisable = [ "format" ];
 
-  outputs = [ "out" "doc" "info" ];
+  outputs = [ "out" "dev" "doc" "info" ];
 
   # the man pages are small and useful enough
   outputMan = if interactive then "out" else null;
@@ -79,6 +79,7 @@ stdenv.mkDerivation rec {
 
   postInstall = ''
     ln -s bash "$out/bin/sh"
+    moveToOutput lib/bash/Makefile.inc "$dev"
   '';
 
   postFixup = if interactive
-- 
cgit 1.4.1