#!/bin/sh

TOOLSPATH="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"

PROJECTPATH="$(cd "$TOOLSPATH/.." && pwd)"

PROJECTNAME=${PROJECTPATH##*/}

source $PROJECTPATH/.mbed

BINARY=$PROJECTPATH/BUILD/$TARGET/$TOOLCHAIN/$PROJECTNAME.bin

if [ ! -f $BINARY ]; then
	echo Error: File "$BINARY" does not exist!
	exit 1
fi

python $PROJECTPATH/tools/mbed_run.py $BINARY
