#!/bin/bash # file gen_config_default.sh set -euo pipefail bash gen_config_board.sh config/boards/f407-discovery f407-discovery