aboutsummaryrefslogtreecommitdiff
path: root/lib/dg.exp
diff options
context:
space:
mode:
authorBen Elliston <bje@gnu.org>2016-03-20 18:25:11 +1100
committerBen Elliston <bje@gnu.org>2016-03-20 18:25:11 +1100
commit77c5f5d7b242ab38e71d81bbfd09e812eb394b6f (patch)
tree92b89d1333e175194a8a7f8182ba58559b114574 /lib/dg.exp
parente7aa8a8f3878be1a1f5bbe2dba475beffba2e2e3 (diff)
downloaddejagnu-77c5f5d7b242ab38e71d81bbfd09e812eb394b6f.zip
dejagnu-77c5f5d7b242ab38e71d81bbfd09e812eb394b6f.tar.gz
dejagnu-77c5f5d7b242ab38e71d81bbfd09e812eb394b6f.tar.bz2
* lib/dg.exp (dg-runtest): Improve arg naming to remove a FIXME.
Diffstat (limited to 'lib/dg.exp')
-rw-r--r--lib/dg.exp11
1 files changed, 5 insertions, 6 deletions
diff --git a/lib/dg.exp b/lib/dg.exp
index a491473..dfd6a6c 100644
--- a/lib/dg.exp
+++ b/lib/dg.exp
@@ -553,12 +553,11 @@ proc dg-init { } {
# dg-runtest -- simple main loop useful to most testsuites
#
-# FLAGS is a set of options to always pass.
-# DEFAULT_EXTRA_FLAGS is a set of options to pass if the testcase doesn't
-# specify any (with dg-option).
-# ??? We're flipping between "flag" and "option" here.
+# OPTIONS is a set of options to always pass.
+# DEFAULT_EXTRA_OPTIONS is a set of options to pass if the testcase
+# doesn't specify any (with dg-option).
-proc dg-runtest { testcases flags default-extra-flags } {
+proc dg-runtest { testcases options default-extra-options } {
global runtests
foreach testcase $testcases {
@@ -567,7 +566,7 @@ proc dg-runtest { testcases flags default-extra-flags } {
continue
}
verbose "Testing [file tail [file dirname $testcase]]/[file tail $testcase]"
- dg-test $testcase $flags ${default-extra-flags}
+ dg-test $testcase $options ${default-extra-options}
}
}