tree 1605c24a64b67150d366fd50008381052f5b30ce
parent c83f57b4c6043e172a12cb3574124a7a73f33ee2
parent 78493be3eef6e5fb142e2a56aa3c7f20f53d6dc3
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1513851210 +0100
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1513851210 +0100

Merge branch 'mbedtls-2.1' into mbedtls-2.1-restricted

* mbedtls-2.1:
  compat.sh: use wait_server_start
  wait_server_start: minor efficiency improvement