commit 99652d51470d4b4d7433f6b7d5074692e6465beb
author Gilles Peskine <Gilles.Peskine@arm.com> Fri Aug 21 10:03:44 2020 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Fri Aug 21 10:03:44 2020 +0200
tree ddfc46ce5fb7881e1db759ae31e4e6e5249815af
parent 661c2a43bac3896ab47515432cead8ae6676b4ff

Downgrade GnuTLS to avoid incompatibilities

The version of GnuTLS in an up-to-date Ubuntu 16.04 (3.4.10-4ubuntu1.8)
fails compat.sh. As a workaround until we fix this or decide that this
is a bug in the Ubuntu package, downgrade GnuTLS to the same upstream
version, but as originally released in Ubuntu 16.04, without the latest
Ubuntu packages.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>

.travis.yml

diff --git a/.travis.yml b/.travis.yml
index fc6a518..2d99621 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -23,7 +23,8 @@
 addons:
   apt:
     packages:
-    - gnutls-bin
+    - libgnutls30=3.4.10-4ubuntu1
+    - gnutls-bin=3.4.10-4ubuntu1
   coverity_scan:
     project:
       name: "ARMmbed/mbedtls"