#!/bin/bash

export EXTRA_PARAMS="-DDUMMY -DSHORT_BOARD_NAME=f407-discovery"

bash ../common_make.sh f407-discovery ARCH_STM32F4