mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-07-29 11:41:15 +03:00
Merge remote-tracking branch 'origin/pr/2407' into development
This commit is contained in:
@ -303,7 +303,7 @@ check_tools()
|
||||
}
|
||||
|
||||
check_headers_in_cpp () {
|
||||
ls include/mbedtls >headers.txt
|
||||
ls include/mbedtls | grep "\.h$" >headers.txt
|
||||
<programs/test/cpp_dummy_build.cpp sed -n 's/"$//; s!^#include "mbedtls/!!p' |
|
||||
sort |
|
||||
diff headers.txt -
|
||||
|
Reference in New Issue
Block a user