commit 2003c2f455219a0992fce4a80c3bf80a24b5d0fe
author Gilles Peskine <Gilles.Peskine@arm.com> Thu Apr 07 20:55:57 2022 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Thu Apr 07 21:40:25 2022 +0200
tree 5d7b6eb0833d431936a75fb964c6249040ec753f
parent f4c6eb0a4983a34bdcf0c9c27e01a920f63df063

Simplify build_mbedtls_config_file

$CONFIG_H no longer includes check_config.h since Mbed TLS 3.0.

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

tests/scripts/all.sh

diff --git a/tests/scripts/all.sh b/tests/scripts/all.sh
index 3aab764..7516307 100755
--- a/tests/scripts/all.sh
+++ b/tests/scripts/all.sh
@@ -2477,8 +2477,7 @@
     msg "build: make with MBEDTLS_CONFIG_FILE" # ~40s
     # Use the full config so as to catch a maximum of places where
     # the check of MBEDTLS_CONFIG_FILE might be missing.
-    scripts/config.py full
-    sed 's!"check_config.h"!"mbedtls/check_config.h"!' <"$CONFIG_H" >full_config.h
+    scripts/config.py -w full_config.h full
     echo '#error "MBEDTLS_CONFIG_FILE is not working"' >"$CONFIG_H"
     make CFLAGS="-I '$PWD' -DMBEDTLS_CONFIG_FILE='\"full_config.h\"'"
     rm -f full_config.h