Fix gdb-cmd for rust-gdbgui

diff --git a/src/etc/rust-gdbgui b/src/etc/rust-gdbgui
index 9744913b686501d83f864bd1c5b2d8674f9cd913..590e488e643aa8612901b9b576975cd8bf1c6b1b 100755 (executable)
--- a/src/etc/rust-gdbgui
+++ b/src/etc/rust-gdbgui
@@ -58,7 +58,6 @@ GDB_ARGS="--directory=\"$GDB_PYTHON_MODULE_DIRECTORY\" -iex \"add-auto-load-safe
 # Finally we execute gdbgui.
 PYTHONPATH="$PYTHONPATH:$GDB_PYTHON_MODULE_DIRECTORY" \
   exec ${RUST_GDBGUI} \
-  --gdb ${RUST_GDB} \
-  --gdb-args "${GDB_ARGS}" \
+  --gdb-cmd "${RUST_GDB} ${GDB_ARGS}" \
   "${@}"