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

This commit is contained in:
Jaeden Amero 2018-12-06 15:52:01 +00:00
commit ac021d901b

View file

@ -46,3 +46,4 @@ run_test ./tests/scripts/check-doxy-blocks.pl
run_test ./tests/scripts/check-names.sh
run_test ./tests/scripts/check-generated-files.sh
run_test ./tests/scripts/check-files.py
run_test ./tests/scripts/doxygen.sh