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 (oldrel)

succeeded Nov 20, 2024 in 53m 37s