From 880e87daadf6b268ae7391b28b394a446810a3ac Mon Sep 17 00:00:00 2001
From: FallenSigh <fallensigh@gmail.com>
Date: Sat, 27 Jun 2026 01:13:58 +0800
Subject: [PATCH] fix(run_tb): allow digits in TCL variable names (e.g.
 SHA3_DIR)

Grep pattern [A-Z_]+ rejected variable names containing digits
like SHA3_DIR, SHA3C_DIR, NTT_DIR, etc. Changed to [A-Z0-9_]+.
---
 run_tb.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run_tb.sh b/run_tb.sh
index ff51edd..0ccc2f0 100755
--- a/run_tb.sh
+++ b/run_tb.sh
@@ -64,7 +64,7 @@ execute_tcl() {
 
     # Convert TCL 'set VAR value' to bash 'VAR=value'
     {
-        grep -E '^set [A-Z_]+ ' "$tcl_file" | while read -r _ var value; do
+        grep -E '^set [A-Z0-9_]+ ' "$tcl_file" | while read -r _ var value; do
             echo "${var}=${value}"
         done