aboutsummaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorBen Elliston <bje@gnu.org>2018-11-30 12:07:55 +1100
committerBen Elliston <bje@gnu.org>2018-11-30 12:07:55 +1100
commit12028b93c50d35b79fd73860eb6d011b00a6d11c (patch)
tree2f55c405d57b29631bcc5ac56e50311f32bcda72 /lib
parent6471c5b8555dad8bf9ed46f5e1dc7e30f07b5cf7 (diff)
downloaddejagnu-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.exp6
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