build_boot.sh

#!/bin/sh

# Assume first argument is the board name (as defined in Zephyr)
BOARD=$1

if [ -z "$BOARD" ]; then
	echo "Please specify the board name (as in Zephyr) as first argument."
	exit 1;
fi

if [ ! -f "$(dirname $0)/boot/zephyr/targets/${BOARD}.h" ]; then
	echo "Board $BOARD not yet supported, please use a supported target."
	exit 1;
fi

# Check if there is a valid Zephyr environment available
if [ -z "$ZEPHYR_BASE" ]; then
	echo "ZEPHYR_BASE not provided by the environment."
	exit 1;
fi

make BOARD=$BOARD