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

Annotations

1 warning

ppc64le

succeeded Dec 28, 2024 in 1m 54s