diff options
author | Ben Elliston <bje@gnu.org> | 2018-11-23 09:35:30 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-11-23 09:35:30 +1100 |
commit | 389f38092652944c9057bf8965cf2f5ff24c2269 (patch) | |
tree | 1f789a4bac2795053427549e9cd09bdab1baad1f /lib | |
parent | 73a138783acb52eb30ad0df731dc390170d803ad (diff) | |
download | dejagnu-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.exp | 8 |
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" } { |