diff options
| author | Ben Elliston <bje@gnu.org> | 2016-02-20 11:49:15 +1100 |
|---|---|---|
| committer | Ben Elliston <bje@gnu.org> | 2016-02-20 11:49:15 +1100 |
| commit | 992fbc3a8f03c3cd5e554eea5361f1a531e9e71f (patch) | |
| tree | d34eac0216449a51ff21187107be4856df21106a /lib | |
| parent | 56448d0134f0583686c01a50c37395bad2e54222 (diff) | |
| download | dejagnu-992fbc3a8f03c3cd5e554eea5361f1a531e9e71f.zip dejagnu-992fbc3a8f03c3cd5e554eea5361f1a531e9e71f.tar.gz dejagnu-992fbc3a8f03c3cd5e554eea5361f1a531e9e71f.tar.bz2 | |
* lib/utils.exp (prune): Remove proc.
* doc/ref.xml: Update documentation.
* doc/dejagnu.texi: Regenerate.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/utils.exp | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/lib/utils.exp b/lib/utils.exp index 24f2591..cb8c1e9 100644 --- a/lib/utils.exp +++ b/lib/utils.exp @@ -201,25 +201,6 @@ proc grep { args } { return $grep_out } -# -# Remove elements based on patterns. elements are delimited by spaces. -# pattern is the pattern to look for using glob style matching -# list is the list to check against -# returns the new list -# -proc prune { list pattern } { - set tmp {} - foreach i $list { - verbose "Checking pattern \"$pattern\" against $i" 3 - if {![string match $pattern $i]} { - lappend tmp $i - } else { - verbose "Removing element $i from list" 3 - } - } - return $tmp -} - # Check if a testcase should be run or not # |