echo "Found board configuration for $$build_board - $$build_arch, $$build_mcu"; \\r
\\r
printf "\t@echo Building dummy project for $$build_board...\n" >> BuildMakefile; \\r
echo "Found board configuration for $$build_board - $$build_arch, $$build_mcu"; \\r
\\r
printf "\t@echo Building dummy project for $$build_board...\n" >> BuildMakefile; \\r