aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorBen Elliston <bje@gnu.org>2018-11-23 09:35:30 +1100
committerBen Elliston <bje@gnu.org>2018-11-23 09:35:30 +1100
commit389f38092652944c9057bf8965cf2f5ff24c2269 (patch)
tree1f789a4bac2795053427549e9cd09bdab1baad1f /lib
parent73a138783acb52eb30ad0df731dc390170d803ad (diff)
downloaddejagnu-389f38092652944c9057bf8965cf2f5ff24c2269.zip
dejagnu-389f38092652944c9057bf8965cf2f5ff24c2269.tar.gz
dejagnu-389f38092652944c9057bf8965cf2f5ff24c2269.tar.bz2
* doc/dejagnu.texi (getdirs procedure): Improve documentation
including documenting the -all option. (find procedure): Fix a typo. * lib/utils.exp (getdirs): Improve comments.
Diffstat (limited to 'lib')
-rw-r--r--lib/utils.exp8
1 files changed, 3 insertions, 5 deletions
diff --git a/lib/utils.exp b/lib/utils.exp
index eca82d9..3b94499 100644
--- a/lib/utils.exp
+++ b/lib/utils.exp
@@ -24,12 +24,10 @@
# Gets the directories in a directory, or in a directory tree.
-# args: the first is the dir to look in, the next
-# is the pattern to match. It
-# defaults to *. Patterns are csh style
-# globbing rules
+# args: the first is the directory to look in, the next is the
+# glob pattern to match (default "*").
# options: -all search the tree recursively
-# returns: a list of dirs or NULL; the root directory is not returned.
+# returns: a list of directories excluding the root directory
#
proc getdirs { args } {
if { [lindex $args 0] == "-all" } {