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
- printf "\tmake -s -f makefile.test clean elf MCU=%s ARCH=%s BOARD=%s\n\n" $$build_mcu $$build_arch $$build_board >> BuildMakefile; \\r
+ printf "\t$(MAKE) -s -f makefile.test clean elf MCU=%s ARCH=%s BOARD=%s\n\n" $$build_mcu $$build_arch $$build_board >> BuildMakefile; \\r
fi; \\r
done < BoardList.txt\r
\r