div0-gittools | | master | no
data/xonotic-maps.pk3dir | | master |
mediasource | | master | no
-fteqcc | git://github.com/Blub/qclib.git | master |
+fteqcc | http://github.com/Blub/qclib.git | master |
"
# todo: in darkplaces, change repobranch to div0-stable
fi
fi
+ binary=$1
+
if [ -n "$USE_GDB" ]; then
set -- gdb --args "$@"
+ elif which gdb >/dev/null 2>&1; then
+ set -- gdb --batch -x savecore.gdb --args "$@"
elif which catchsegv >/dev/null 2>&1; then
set -- catchsegv "$@"
fi
+ rm -f xonotic.core
"$@"
+ if [ -f xonotic.core ]; then
+ if yesno "The program has CRASHED. Do you want to examine the core dump?"; then
+ gdb "$binary" xonotic.core
+ #elif yesno "You did not want to examine the core dump. Do you want to provide it - including your DarkPlaces checkout - to the Xonotic developers?"; then
+ # tar cvzf xonotic.core.tar.gz xonotic.core darkplaces/*.c darkplaces/*.h
+ # # somehow send it
+ # rm -f xonotic.core.tar.gz
+ else
+ echo "The core dump can be examined later by"
+ echo " gdb $binary xonotic.core"
+ fi
+ fi
;;
each|foreach)
keep_going=false