diff options
Diffstat (limited to 'runtest.exp')
-rw-r--r-- | runtest.exp | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/runtest.exp b/runtest.exp index c7a6f26..b0ddfed 100644 --- a/runtest.exp +++ b/runtest.exp @@ -99,12 +99,8 @@ unset -nocomplain env(CCACHE_NODISABLE) # # some convenience abbreviations # -if {![info exists hex]} { - set hex "0x\[0-9A-Fa-f\]+" -} -if {![info exists decimal]} { - set decimal "\[0-9\]+" -} +set hex "0x\[0-9A-Fa-f\]+" +set decimal "\[0-9\]+" # # set the base dir (current working directory) |