diff options
author | Jacob Bachmeyer <jcb62281@gmail.com> | 2018-12-02 13:20:47 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-12-02 13:20:47 +1100 |
commit | 483d90215bd6f43a7d99c19b4e286fa10767f555 (patch) | |
tree | 2ac9f0775030f018843d298ba4c018eb3150d7cb | |
parent | e846a14797a48d733cdd3adee6b8d021a60c54f3 (diff) | |
download | dejagnu-483d90215bd6f43a7d99c19b4e286fa10767f555.zip dejagnu-483d90215bd6f43a7d99c19b4e286fa10767f555.tar.gz dejagnu-483d90215bd6f43a7d99c19b4e286fa10767f555.tar.bz2 |
* runtest.exp (hex): Remove useless test before setting.
(decimal): Likewise.
Signed-off-by: Ben Elliston <bje@gnu.org>
-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) |