diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2016-09-17 10:51:32 +0200 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2016-09-17 10:51:32 +0200 |
commit | f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff (patch) | |
tree | 827856a5434d502b173eaf73bfc7fcdacbb3d514 /pkgs/shells/bash | |
parent | 40a6918af379a8fa06661b5c229bff6101fb0784 (diff) | |
download | nixlib-f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff.tar nixlib-f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff.tar.gz nixlib-f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff.tar.bz2 nixlib-f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff.tar.lz nixlib-f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff.tar.xz nixlib-f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff.tar.zst nixlib-f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff.zip |
bash 4.4: split headers into .dev
Diffstat (limited to 'pkgs/shells/bash')
-rw-r--r-- | pkgs/shells/bash/4.4.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/shells/bash/4.4.nix b/pkgs/shells/bash/4.4.nix index a401628dabd0..406ca4d08fd7 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 |