mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2026-05-09 03:04:24 +02:00
Merge pull request #10596 from gilles-peskine-arm/check_committed_generated_files-mbedtls-actually_check_mbedtls
Actually check committed generated files
This commit is contained in:
@@ -43,6 +43,7 @@ component_check_generated_files () {
|
||||
|
||||
cd $TF_PSA_CRYPTO_ROOT_DIR
|
||||
./framework/scripts/make_generated_files.py --root "$OUT_OF_SOURCE_DIR/tf-psa-crypto" --check
|
||||
cd "$MBEDTLS_ROOT_DIR"
|
||||
|
||||
# This component ends with the generated files present in the source tree.
|
||||
# This is necessary for subsequent components!
|
||||
|
||||
Reference in New Issue
Block a user