Fix docker run command
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
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