#!/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