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 /subr/pkg_configure_patch_pre.subr | |
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 'subr/pkg_configure_patch_pre.subr')
0 files changed, 0 insertions, 0 deletions