Skip to content

Use $MAKE if set, otherwise fall back to system specific make command #1984

Use $MAKE if set, otherwise fall back to system specific make command

Use $MAKE if set, otherwise fall back to system specific make command #1984

Annotations

1 warning

ubuntu-latest (release)

succeeded Nov 20, 2024 in 56m 27s. View latest attempt.