#!/bin/sh

echo "Debugging $1"
arm-none-eabi-gdb -tui -command=$1 $2