projects / platform / upstream / dejagnu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b733213) | patch
This proc is never used. --xml sets $xml, and that's it.
authorBen Elliston <bje@gnu.org>
Mon, 28 Mar 2016 06:01:13 +0000 (17:01 +1100)
committerBen Elliston <bje@gnu.org>
Mon, 28 Mar 2016 06:01:13 +0000 (17:01 +1100)
commit3e509af89efb558191517fb918538b74efcfa17c
tree8b42570d0e0cbfceb5a1ce2905a28863f3f4a8e2tree | snapshot
parentb733213d023ebd27af728bb3471dcca91c1243dacommit | diff
This proc is never used. --xml sets $xml, and that's it.

* lib/framework.exp (check_xml): Remove unused proc.
ChangeLog diff | blob | history
lib/framework.exp diff | blob | history
Domain: System / Toolchain;