7 commits

Author	SHA1	Message	Date
Paul Bakker	db34e6d9b6	Updated Travis CI config for mbedtls project	2015-04-14 14:59:47 +02:00
Manuel Pégourié-Gonnard	1052022f50	Remove gnutls from the travis build ... Causing spurious fails of ssl-opt.sh. Likely a version issue. It would be better to investigate the exact problem, and maybe adapt ssl-opt.sh to be check for a minimum version just as compat.sh does, but this is a quick fix.	2015-02-16 15:52:48 +00:00
Manuel Pégourié-Gonnard	b4fe3cb1fa	Rename to mbed TLS in the documentation/comments	2015-01-22 16:11:05 +00:00
Manuel Pégourié-Gonnard	72e51ee7be	Use arithmetic expansion in scripts, avoid bashisms	2014-08-31 10:22:11 +02:00
Paul Bakker	440aa2d120	Fix to Coverity config in Travis-CI	2014-05-06 10:34:42 +02:00
Paul Bakker	05c3774bd4	Updated Travis-CI config with Coverity addon	2014-05-02 16:19:04 +02:00
Paul Bakker	3ad3aa3bc0	Travis configuration file	2014-04-17 17:24:27 +02:00