tree 4f7f5d0728dc3bc0cf66d7f2104731ad342eddf3
parent 605c2284bc3c5c324b2f814dbaa545273890a7ca
parent 103299edb70c016241a89b2e0b4ffd42f1f474ba
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1513851223 +0100
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1513851223 +0100

Merge remote-tracking branch 'public/pr/1217' into mbedtls-1.3

* public/pr/1217:
  compat.sh: use wait_server_start
  wait_server_start: minor efficiency improvement