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

..

.jenkins

Add Jenkinsfile for PR job

2018-10-19 15:25:57 +01:00

data_files

Add tests for (named) bitstring to suite_asn1write

2019-02-11 21:10:55 +00:00

git-scripts

Add doxygen.sh script to git hooks

2018-10-29 10:45:00 +02:00

scripts

Print a command trace if the check-names.sh exits unexpectedly

2019-05-15 17:41:27 +02:00

suites

Merge remote-tracking branch 'origin/pr/2519' into mbedtls-2.7

2019-04-05 14:17:08 +01:00

.gitignore

Move some ignore patterns to subdirectories

2015-01-28 15:33:23 +00:00

CMakeLists.txt

Add a facility to skip running some test suites

2018-12-14 18:50:34 +01:00

compat.sh

Adjust DES exclude lists in test scripts

2019-02-26 12:46:16 +01:00

Descriptions.txt

Add selftest program to the list of tests

2014-04-04 16:33:01 +02:00

Makefile

Add a facility to skip running some test suites

2018-12-14 18:50:34 +01:00

ssl-opt.sh

Merge remote-tracking branch 'origin/pr/2390' into mbedtls-2.7

2019-03-05 16:38:00 +00:00