tree 5a7f121b1dcb06317f15bf7cc4d8c933e9b28ac3
parent bf4d0ce88d7b37c96e0dcf4d05b504ff653e2d70
author Gilles Peskine <Gilles.Peskine@arm.com> 1626189778 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1626192147 +0200

Fix race condition when running generate_psa_tests.py

Fix a race condition in parallel builds: when generating *.data files with
generate_psa_tests.py, make instantiated the recipe once per output file,
potentially resulting in multiple instances of generate_psa_tests.py running
in parallel. This not only was inefficient, but occasionally caused the
output to be corrupted (https://github.com/ARMmbed/mbedtls/issues/4773). Fix
this by ensuring the recipe only runs once.

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