projects / platform / upstream / dejagnu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07ea68a) | patch
* lib/remote.exp (remote_exec): Set global timeout for benefit of
authorMaxim Kuvyrkov <maxim.kuvyrkov@linaro.org>
Sun, 14 Feb 2016 12:00:09 +0000 (23:00 +1100)
committerBen Elliston <bje@gnu.org>
Sun, 14 Feb 2016 12:00:09 +0000 (23:00 +1100)
commitf720dfef59b77fdaea3dd9c6220a5dd5f46d9316
tree37061e8ed64af1700c4bcfcf4ee5f547bd6b917ctree | snapshot
parent07ea68ac3d2c51a1066a6b832f3a921738f01324commit | diff
* lib/remote.exp (remote_exec): Set global timeout for benefit of
<remote>_exec.

Signed-off-by: Ben Elliston <bje@gnu.org>
ChangeLog diff | blob | history
lib/remote.exp diff | blob | history
Domain: System / Toolchain;