aboutsummaryrefslogtreecommitdiff
path: root/runtest.exp
diff options
context:
space:
mode:
authorJacob Bachmeyer <jcb62281@gmail.com>2018-12-02 13:20:47 +1100
committerBen Elliston <bje@gnu.org>2018-12-02 13:20:47 +1100
commit483d90215bd6f43a7d99c19b4e286fa10767f555 (patch)
tree2ac9f0775030f018843d298ba4c018eb3150d7cb /runtest.exp
parente846a14797a48d733cdd3adee6b8d021a60c54f3 (diff)
downloaddejagnu-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>
Diffstat (limited to 'runtest.exp')
-rw-r--r--runtest.exp8
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)