esp8266/Makefile: replace references to make with $(MAKE)
make is not always GNU make; the latter may go by different names. This helps builds on systems where the default make is not GNU make.
Please register or sign in to comment
make is not always GNU make; the latter may go by different names. This helps builds on systems where the default make is not GNU make.