Merge remote-tracking branch 'origin/pr/574' into baremetal

This commit is contained in:
Simon Butcher 2019-06-04 15:08:32 +01:00
commit 21d1c32b2b
9 changed files with 98 additions and 27 deletions

View file

@ -576,7 +576,7 @@ component_check_files () {
component_check_names () {
msg "test/build: declared and exported names" # < 3s
record_status tests/scripts/check-names.sh
record_status tests/scripts/check-names.sh -v
}
component_check_doxygen_warnings () {