4 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
Manuel Pégourié-Gonnard	e137ea6f64	Add test script check-names.sh	2015-04-09 10:53:11 +02:00
Manuel Pégourié-Gonnard	d1ddd29e81	Adapt error messages in tests/scripts/list-*	2015-04-09 10:15:10 +02:00
Manuel Pégourié-Gonnard	0edba1a8ee	Move temporary list scripts to tests/scripts	2015-04-09 10:12:44 +02:00