Merge branch 'makefile_improv' into 'develop'

Makefile improv

See merge request west-devel/West!25
9 jobs for v4.2.0 in 13 minutes and 13 seconds (queued for 230 minutes and 29 seconds)
latest