#!/bin/sh
case "$#" in
0)
	echo "usage: $0 <filename> ..."
	exit 1
	;;
esac
cmds=/tmp/flash$$
trap "rm $cmds" 0 1 15
for file in "$@"; do
	echo "flash write_image $file"
done > $cmds
openocd \
	-f interface/stlink-v2.cfg \
	-f target/lpc11u14.cfg \
	-c init \
	-c 'reset halt' \
	-f $cmds \
	-c 'reset init' \
        -c 'reset run' \
	-c shutdown