On 2018-11-18 02:53 , Mark Brethen wrote: > Should a makefile that itself has other ‘make' commands be patched using ${build.cmd}. If so, how is it implemented? Same as patching ${prefix}? Normally it should use the variable $(MAKE). - Josh