Skip to content

Use $(MAKE) instead of make in Makefiles and fragments #739

Use $(MAKE) instead of make in Makefiles and fragments

Use $(MAKE) instead of make in Makefiles and fragments #739