Ignore SIGINT in script mode
commit5ce8d3b1a3819976aec3dd8aff6e6196bae11b60
authorff <_ff@tuta.io>
Mon, 4 Dec 2017 12:20:47 +0000 (4 13:20 +0100)
committerff <_ff@tuta.io>
Mon, 4 Dec 2017 12:20:47 +0000 (4 13:20 +0100)
tree701ce63bdc6be8852df8bc6401a3deb9e72b93ae
parent31acde3357c6195fdb57d36bc51db5d2c22caa1e
Ignore SIGINT in script mode

In script mode, ignore SIGINT,
but terminate when a child process terminates with SIGINT.
Devember/log04.txt [new file with mode: 0644]
src/minish.c