Avoid termination message from shell. Allow other termination
authordrepper <drepper>
Fri, 28 Aug 1998 09:22:49 +0000 (09:22 +0000)
committerdrepper <drepper>
Fri, 28 Aug 1998 09:22:49 +0000 (09:22 +0000)
commit6d64500e8505e627e46512764f29b3e234126657
tree4d0f1c61e814cbea66e51245a17a79c618a7b89a
parent5e7dd0d146281a50bbd341e965a5a1809f9b9130
Avoid termination message from shell.  Allow other termination
signals.
debug/catchsegv.sh