use $(MAKE) instead of +make for recursive calls in Makefile#92

Merged

SkySkimmer merged 1 commit intocoq-community:masterfrom t6s:fix_recursive_make

Jul 23, 2024

+3-3

Commits on Jul 23, 2024

use MAKE instead of make for recursive calls
t6s
committed