Skip to content

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

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

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

Annotations

2 errors and 2 warnings

ubuntu-latest (devel)

failed Nov 18, 2024 in 1m 12s