diff options
| -rw-r--r-- | ChangeLog | 5 | ||||
| -rw-r--r-- | runtest.exp | 8 |
2 files changed, 7 insertions, 6 deletions
@@ -1,5 +1,10 @@ 2018-12-02 Jacob Bachmeyer <jcb62281@gmail.com> + * runtest.exp (hex): Remove useless test before setting. + (decimal): Likewise. + +2018-12-02 Jacob Bachmeyer <jcb62281@gmail.com> + * doc/dejagnu.texi (Invoking runtest): Document new --local_init and --global_init command line options. * doc/runtest.1: Likewise. 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) |