1
0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-08-08 17:42:09 +03:00

Add check for existence of project name file

Signed-off-by: Thomas Daubney <thomas.daubney@arm.com>
This commit is contained in:
Thomas Daubney
2024-07-26 17:31:46 +01:00
parent bbb41f7afb
commit 6a864dc5fe
2 changed files with 14 additions and 2 deletions

View File

@@ -34,8 +34,12 @@ set -eu
PROJECT_NAME_FILE='./scripts/project_name.txt'
in_mbedtls_repo () {
if [ ! -f $PROJECT_NAME_FILE ]; then
echo "$PROJECT_NAME_FILE does not exist... Exiting..."
exit 1
fi
grep -Fxq "Mbed TLS" "$PROJECT_NAME_FILE"
}
}
# Collect stats and build a HTML report.
lcov_library_report () {