diff options
author | Bernard Ogden <bernie.ogden@linaro.org> | 2015-07-28 11:24:36 +0200 |
---|---|---|
committer | Bernard Ogden <bernie.ogden@linaro.org> | 2015-07-28 11:24:36 +0200 |
commit | c90fe30dbe0af4a41349bcaf1e7b051cc5c11546 (patch) | |
tree | 05cc6c5876bb593b6048ea49e1193f492dd2fdda | |
parent | 5c4161c0d3dd4ba75c5117642de54f26f38363be (diff) |
Additional hint for case where run succeedsinserted_src
Change-Id: Ie51b7d1ce67cd13d5622355c4b91f717898f11d3
-rwxr-xr-x | invoke_session_debian | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/invoke_session_debian b/invoke_session_debian index 6403b9e..9c0d48f 100755 --- a/invoke_session_debian +++ b/invoke_session_debian @@ -136,6 +136,7 @@ fi echo "*** RESULTS READY" echo "ssh -o ControlMaster=no -o ControlPath=/dev/null ${ip_addr}.lab" +echo "ssh -o ControlMaster=no -o ControlPath=/dev/null ${ip_addr}.lab 'touch ~/data/resultsgone'" while ! test -e ~/data/resultsgone; do inotifywait -e create ~/data done |