if [ ! -f "$mapfile" ] ; then
msg "ERROR, $mapfile not found!"
else
- $time misc/tools/xonotic-map-compiler-optionsfile "$mapfile"
+ verbose $time misc/tools/xonotic-map-compiler-optionsfile "$mapfile"
fi
done
;;
set -- rlwrap -A -g '^quit' -q "\"" -s 10000 -S ']' -w 100 "$@"
fi
rm -f xonotic.core
- $time "$@" || true
+ verbose $time "$@" || true
if [ -f xonotic.core ]; then
if yesno "The program has CRASHED. Do you want to examine the core dump?"; then
gdb "$binary" xonotic.core