#!/bin/sh
case "$#" in
0)
	echo "usage: $0 <filename> ..."
	exit 1
	;;
esac
cmds=/tmp/flash$$
trap "rm $cmds" 0 1 15
file="$1"
echo "program $file verify reset" > $cmds
openocd \
	-f interface/stlink.cfg \
	-f target/stm32f0x.cfg \
	-f $cmds \
	-c shutdown
