Re: [PATCH] make.sh: SIGKILL and SIGSTOP cannot be trapped