commit df93ecd7835cf1252c7a108aa51aefc853c57fb7
author Gilles Peskine <Gilles.Peskine@arm.com> Tue Apr 12 18:01:11 2022 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Tue Apr 26 13:34:06 2022 +0200
tree f6efa3653886c05c98c5b9e3cf74155dbf626a6e
parent db15cba87a2eda19417d8471ca9bab405f1471d8

Fix docker run command

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>

update_psa_crypto_api.sh

diff --git a/update_psa_crypto_api.sh b/update_psa_crypto_api.sh
index 38008f3..533e986 100755
--- a/update_psa_crypto_api.sh
+++ b/update_psa_crypto_api.sh
@@ -13,7 +13,7 @@
 2. Build the specification.
     cd psa-crypto-api
     sudo docker build -t psa_api - <psa-crypto-api/scripts/Dockerfile
-    sudo docker run -i -t -u \$(id -u):\$(id -g) -v \$PWD:/var/lib/builds psa_api make
+    sudo docker run -i -t -u \$(id -u):\$(id -g) -v \$PWD:/var/lib/builds psa_api -c make
     cd ..
 3. Copy the rendered files.
     $0 psa-crypto-api