Fix docker run command

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
1 file changed
tree: f6efa3653886c05c98c5b9e3cf74155dbf626a6e
  1. docs/
  2. Makefile
  3. update_psa_crypto_api.sh