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 /runtest.exp | |
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 'runtest.exp')
0 files changed, 0 insertions, 0 deletions