./all: always output how long the program ran. Sometimes useful, and doesn't add...

diff --git a/misc/tools/all/xonotic.subr b/misc/tools/all/xonotic.subr
index 19298c8a4463e9c49081e6489b52bf32db927a02..8cfbd9c477f25c98b01a753710d4b7bcf0185b6e 100644 (file)
--- a/misc/tools/all/xonotic.subr
+++ b/misc/tools/all/xonotic.subr
@@ -336,7 +336,7 @@ case "$cmd" in
                        set -- rlwrap -A -g '^quit' -q "\"" -s 10000 -S ']' -w 100 "$@"
                fi
                rm -f xonotic.core
-               "$@" || true
+               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