#!/usr/bin/env bash

openocd -f interface/stlink.cfg -f target/stm32f3x.cfg >/dev/null 2>/dev/null &
PID=$!

arm-none-eabi-gdb "$@"

kill $PID