2022-02-19 15:43:06 +00:00
|
|
|
#!/bin/bash
|
2022-10-02 08:17:09 +00:00
|
|
|
SCRIPTPATH="$( cd -- "$(dirname "$0")" >/dev/null 2>&1 || exit ; pwd -P )"
|
2022-02-19 15:43:06 +00:00
|
|
|
|
|
|
|
|
ulimit -c unlimited
|
|
|
|
|
"$@"
|
|
|
|
|
if [[ $? -eq 139 ]]; then
|
|
|
|
|
coredumpctl gdb -1 -A "--batch -x $SCRIPTPATH/backtrace"
|
|
|
|
|
fi
|
