path: root/misc/bin/gdb-mi.sh

#!/bin/bash
gdb -i=mi "$@"