diff options
| author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-11 17:09:33 +0000 |
|---|---|---|
| committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-11 17:09:33 +0000 |
| commit | 6c366071bd3ec4c423d8155509280f88e55a3ebc (patch) | |
| tree | e6855b3e35de0e07e099f799a30bfade390ef691 /patches/mksh-R54.local.patch | |
| parent | 8a04deff7e91795435db7b751352512f116c7aba (diff) | |
| download | midipix_build-6c366071bd3ec4c423d8155509280f88e55a3ebc.tar.bz2 midipix_build-6c366071bd3ec4c423d8155509280f88e55a3ebc.tar.xz | |
subr/build_init.subr:build_{ast,init}(): call ex_rtl_kill_tree() on $$ on signal.
subr/build_init.subr:build_init(): check for pgrep(1) in $PATH.
subr/ex_rtl.subr:ex_rtl_kill_tree(): implement w/ pgrep(1).
Diffstat (limited to 'patches/mksh-R54.local.patch')
0 files changed, 0 insertions, 0 deletions