#!/bin/bash
export EXTRA_PARAMS="-DDUMMY -DSHORT_BOARD_NAME=f407-discovery"
bash ../common_make.sh f407-discovery ARCH_STM32F4