tree c30ae6a50655194afda02a552d2929cf32142422
parent bf01b0c0fc113ebe34f447f17736d9c70dd07dfe
parent e8be5e25714e252cac663a9cef00bb2a7e9bad42
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1514282375 +0100
committer Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1514282375 +0100

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

* public/pr/1222:
  all.sh: add some documentation
  all.sh: new option --no-armcc
  all.sh: --keep-going mode
  all.sh: cleaned up usage output
  all.sh: indent