Remove redundant assignment

Signed-off-by: Gilles Peskine <[email protected]>
2026-08-13 22:57:48 +00:00 · 2025-09-23 16:18:17 +02:00
parent fcfe1920c4
commit 4402172a0f
1 changed files with 0 additions and 1 deletions
@@ -49,7 +49,6 @@ version=$2
 # Assert that the git commit exists
 git -C "$project_root" cat-file -e "${commit}^{commit}"

-product=mbedtls
 if git -C "$project_root" merge-base --is-ancestor 0679e3a841c3317dc1f4a0faacc350bc91662b04 "$commit"; then
    product=tfpsacrypto
 else