ehmry
/
genodepkgs
2
0
Fork 0
Code Releases Activity

bash: remove check_dev_tty

remotes/praha/master
Emery Hemingway 2020-06-08 12:25:57 +05:30
parent 0b160f488b
commit 730707871a
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
overlay/default.nix
View File

@ -18,6 +18,7 @@ in {
bash = overrideTargetAttrs bash (attrs: {
configureFlags = attrs.configureFlags
++ [ "--without-bash-malloc" ]; # no sbrk please
postPatch = "sed '/check_dev_tty/d' shell.c";
});
binutils-unwrapped = overrideTargetAttrs binutils-unwrapped (attrs: {