diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2016-02-14 23:00:09 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-02-14 23:00:09 +1100 |
commit | f720dfef59b77fdaea3dd9c6220a5dd5f46d9316 (patch) | |
tree | 37061e8ed64af1700c4bcfcf4ee5f547bd6b917c /ChangeLog | |
parent | 07ea68ac3d2c51a1066a6b832f3a921738f01324 (diff) | |
download | dejagnu-f720dfef59b77fdaea3dd9c6220a5dd5f46d9316.zip dejagnu-f720dfef59b77fdaea3dd9c6220a5dd5f46d9316.tar.gz dejagnu-f720dfef59b77fdaea3dd9c6220a5dd5f46d9316.tar.bz2 |
* lib/remote.exp (remote_exec): Set global timeout for benefit of
<remote>_exec.
Signed-off-by: Ben Elliston <bje@gnu.org>
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1,3 +1,8 @@ +2016-02-14 Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> + + * lib/remote.exp (remote_exec): Set global timeout for benefit of + <remote>_exec. + 2016-02-14 Ben Elliston <bje@gnu.org> * lib/remote.exp (local_exec): Improve comments. |