tree d045e80ed8ae111d71950c3b87e77155b34160c6
parent 8a129828da57b34563618e0a957a5b1bedf4c67f
author Dave Rodgman <dave.rodgman@arm.com> 1612961141 +0000
committer Dave Rodgman <dave.rodgman@arm.com> 1613393143 +0000

ssl-opt.sh: add --priority=normal to gnutls

For calls to gnutls-serv and gnutls-cli where --priority is not
specified, explicitly add the default value: --priority=normal. This is
needed for some tests on Ubuntu 20.04 (gnutls 3.6.13).

For example:
./ssl-opt.sh -f "DTLS fragmenting: gnutls.*1.0"
requires this PR to work on Ubuntu 20.04

Signed-off-by: Dave Rodgman <dave.rodgman@arm.com>