Commit 598316f6 authored by Marco Govoni's avatar Marco Govoni
Browse files

Merge branch 'makefile_improv' into 'develop'

Makefile improv

See merge request west-devel/West!25
parents 0598cde6 2e03c6e0
Pipeline #2167 passed with stages
in 13 minutes and 13 seconds