if [ x"$USE_GDB" = x"yes" ]; then
set -- gdb --args "$@"
- elif [ -z "$WE_HATE_OUR_USERS" ] && [ x"$USE_GDB" != x"no" ] && which gdb >/dev/null 2>&1; then
+ elif [ x"$USE_GDB" != x"no" ] && which gdb >/dev/null 2>&1; then
set -- gdb --batch -x savecore.gdb --args "$@"
elif which catchsegv >/dev/null 2>&1; then
set -- catchsegv "$@"
handle SIGINT nostop print pass
handle SIGCONT nostop print pass
handle SIGTSTP nostop print pass
+handle SIGTRAP nostop print nopass
run
set pagination off
echo \n\nIf the following commands show errors, that can be ignored:\n