diff options
author | Ben Elliston <bje@gnu.org> | 2018-11-30 12:07:55 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-11-30 12:07:55 +1100 |
commit | 12028b93c50d35b79fd73860eb6d011b00a6d11c (patch) | |
tree | 2f55c405d57b29631bcc5ac56e50311f32bcda72 /lib | |
parent | 6471c5b8555dad8bf9ed46f5e1dc7e30f07b5cf7 (diff) | |
download | dejagnu-12028b93c50d35b79fd73860eb6d011b00a6d11c.zip dejagnu-12028b93c50d35b79fd73860eb6d011b00a6d11c.tar.gz dejagnu-12028b93c50d35b79fd73860eb6d011b00a6d11c.tar.bz2 |
* lib/framework.exp (isremote): New.
* doc/dejagnu.texi (isremote procedure): Document it.
* NEWS: Mention isremote.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/framework.exp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/framework.exp b/lib/framework.exp index ef1baa5..f2d5f90 100644 --- a/lib/framework.exp +++ b/lib/framework.exp @@ -117,6 +117,12 @@ proc isbuild { { pattern "" } } { # Is $board remote? Return a non-zero value if so. # +proc isremote { board } { + return [is_remote board] +} + +# Legacy library proc for isremote. +# proc is_remote { board } { global host_board global target_list |