Merge remote-tracking branch 'public/pr/1708' into mbedtls-2.7

This commit is contained in:
Simon Butcher 2018-06-12 17:26:55 +01:00
commit 8c83673eb2
4 changed files with 229 additions and 0 deletions

View file

@ -423,6 +423,10 @@ tests/scripts/check-generated-files.sh
msg "test: doxygen markup outside doxygen blocks" # < 1s
tests/scripts/check-doxy-blocks.pl
msg "test: check-files.py" # < 1s
cleanup
tests/scripts/check-files.py
msg "test/build: declared and exported names" # < 3s
cleanup
tests/scripts/check-names.sh