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 | nixpkgs-f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff.tar nixpkgs-f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff.tar.gz nixpkgs-f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff.tar.bz2 nixpkgs-f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff.tar.lz nixpkgs-f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff.tar.xz nixpkgs-f37566d3962d2ef1f2a518d8e5d794e0bea6d8ff.tar.zst nixpkgs-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 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 |