8 commits

Author	SHA1	Message	Date
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