Gilles Peskine
|
2d9d6db60f
|
check-names: also check PSA files
Allow both mbedtls and psa identifiers in either set of files for now.
|
2018-09-12 16:22:51 +03:00 |
|
Ron Eldor
|
bf007d297d
|
Pre push hook script
Add git_hook folder, and pre-push script,
to be soft linked from .git/hooks/pre-push
|
2017-07-27 21:44:34 +01:00 |
|
Simon Butcher
|
71ebc58932
|
Changes to check-names.sh script to accept yotta constants
|
2016-06-23 20:02:07 +01:00 |
|
Manuel Pégourié-Gonnard
|
32da9f66a8
|
Add support for MBEDTLS_USER_CONFIG_FILE
|
2015-08-06 09:57:54 +02:00 |
|
Manuel Pégourié-Gonnard
|
9afdc83d77
|
Fix bashisms in test scripts
|
2015-08-04 17:15:13 +02:00 |
|
Manuel Pégourié-Gonnard
|
6ad5d35ba9
|
Catch a few more likely typos
I often mistype MBEDLTS for MBEDTLS
|
2015-05-28 17:28:38 +02:00 |
|
Manuel Pégourié-Gonnard
|
f9aae834a2
|
Add test for typos in check-names.sh
|
2015-04-09 13:52:55 +02:00 |
|
Manuel Pégourié-Gonnard
|
e137ea6f64
|
Add test script check-names.sh
|
2015-04-09 10:53:11 +02:00 |
|