diff options
author | Ben Elliston <bje@gnu.org> | 2016-03-28 17:01:13 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-03-28 17:01:13 +1100 |
commit | 3e509af89efb558191517fb918538b74efcfa17c (patch) | |
tree | 8b42570d0e0cbfceb5a1ce2905a28863f3f4a8e2 /lib | |
parent | b733213d023ebd27af728bb3471dcca91c1243da (diff) | |
download | dejagnu-3e509af89efb558191517fb918538b74efcfa17c.zip dejagnu-3e509af89efb558191517fb918538b74efcfa17c.tar.gz dejagnu-3e509af89efb558191517fb918538b74efcfa17c.tar.bz2 |
This proc is never used. --xml sets $xml, and that's it.
* lib/framework.exp (check_xml): Remove unused proc.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/framework.exp | 14 |
1 files changed, 3 insertions, 11 deletions
diff --git a/lib/framework.exp b/lib/framework.exp index 8404b38..29a813e 100644 --- a/lib/framework.exp +++ b/lib/framework.exp @@ -1,5 +1,6 @@ -# Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001 -# 2002, 2003, 2005, 2006, 2007, 2008, 2009, 2010, 2012 Free Software Foundation, Inc. +# Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, +# 2001 2002, 2003, 2005, 2006, 2007, 2008, 2009, 2010, 2012, 2016 Free +# Software Foundation, Inc. # # This file is part of DejaGnu. # @@ -31,15 +32,6 @@ proc mail_file { file to subject } { } } -# Check for XML output flag or environment variable. -# -proc check_xml { } { - global env - - set x "RUNTESTFLAGS" - return [format "%s" $env($x)] -} - # Insert DTD for xml format checking. # proc insertdtd { } { |