9 commits

Author	SHA1	Message	Date
Gilles Peskine	017adc7c9c	Document "check-names.sh -v"	2019-05-22 19:07:57 +02:00
Gilles Peskine	ef39c49cd7	Print a command trace if the check-names.sh exits unexpectedly ... We've observed that sometimes check-names.sh exits unexpectedly with status 2 and no error message. The failure is not reproducible. This commits makes the script print a trace if it exits unexpectedly.	2019-05-15 17:41:27 +02: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