Fix omission of user supplied args

diff --git a/misc/tools/all/xonotic.subr b/misc/tools/all/xonotic.subr
index 9d338b80c24e1774b7a7727b23c91bbea742ac82..9eb9bc0d80c8e5a5b933af6cb845c0f3d60dc2de 100644 (file)
--- a/misc/tools/all/xonotic.subr
+++ b/misc/tools/all/xonotic.subr
@@ -396,7 +396,7 @@ case "$cmd" in
        serverbench)
                # TODO(rpolzer): Why does :anticheat: output differ? Total game time differs? Why?
                mkdir -p .serverbench_temp
-               verbose "$SELF" run dedicated -noconfig -userdir .serverbench_temp +exec serverbench.cfg |\
+               verbose "$SELF" run dedicated "$@" -noconfig -userdir .serverbench_temp +exec serverbench.cfg |\
                        tee /dev/stderr |\
                        grep '^:' |\
                        grep -v '^:gamestart:' |\