#!/bin/bash

BINARY=$1
BASENAME=$(basename $1)
shift
ARGS=$*

test X$OPENOCD_BOARD == X && export OPENOCD_BOARD=board/stm32f7discovery.cfg

timeout 1200s openocd -f $OPENOCD_BOARD \
    -c "init" -c "arm semihosting enable" \
    -c "arm semihosting_cmdline $BASENAME $ARGS" \
    -c "reset halt" \
    -c "load_image $BINARY 0" \
    -c "reset halt" -c "resume 0x20000040" 2>openocd.log

RESULT=$?

if [ "$RESULT" -ne "0" ]
then
    cat openocd.log >&2
    echo >&2
fi

exit $RESULT


