Running make where Makefile exists runs that Makefile. Running make where you have a Make.defs won't do anything. On 12/16/2023 8:55 PM, yfliu2008 wrote:
Hi, It seems that some board source folder uses Makefile and some uses Make.defs: boards/risc-v/hpm6750/hpm6750evk2/src/Makefile boards/risc-v/qemu-rv/rv-virt/src/Makefile boards/risc-v/mpfs/icicle/src/Make.defs boards/risc-v/esp32c6/esp32c6-devkit/src/Make.defs I am wondering what are the differences? Regards, yf
