cuberite/polarssl
1
0
Fork 0
mirror of https://github.com/cuberite/polarssl.git synced 2025-08-29 07:46:44 -04:00
Code Issues Packages Projects Releases Wiki Activity
18,176 Commits 7 Branches 115 Tags
Commit Graph

3 Commits

Author SHA1 Message Date
Dave Rodgman
0f2971a968 Update headers 
Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>
 2023-11-03 12:54:54 +00:00
Aditya Deshpande
94375c81f0 Update check_names.py so that identifiers in excluded files are still compared against the output of nm. 
This fixes the issue where excluding a file containing identifiers from checks would cause check_symbols_in_header to fail.

Signed-off-by: Aditya Deshpande <aditya.deshpande@arm.com>
 2023-01-25 17:10:23 +00:00
Gilles Peskine
8266b5b0b4 Copy check_names.py and friends from development 
Copy the following files:
    tests/scripts/check_names.py
    tests/scripts/list_internal_identifiers.py
    tests/scripts/list-identifiers.sh

Copy the version from b19be6b5f3c9a92b5b17fa27e16901f132f1a310, which is the
result of merging https://github.com/ARMmbed/mbedtls/pull/1638 into the
development branch.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
 2021-09-27 20:01:08 +02:00