This is an automated email from the git hooks/post-receive script.

bernie.ogden pushed a commit to branch inserted_src in repository toolchain/semiautobench.

commit dff31528eff91d0e95f41265894b9a2e5aef28e2 Author: Bernard Ogden bernie.ogden@linaro.org Date: Thu Jul 23 15:06:43 2015 +0200

Use more specific option for localhost connection

Change-Id: I650eec8e9b8cdf5a4da928bcac1ee3fdb5b30f4e --- invoke_session_debian | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/invoke_session_debian b/invoke_session_debian index ee1d249..7040dcd 100755 --- a/invoke_session_debian +++ b/invoke_session_debian @@ -74,7 +74,7 @@ ssh-add ~/data/onetime #Need to be able to ssh to self to get local sources #Can reuse the onetime key for this cat ~/data/onetime.pub >> ~/.ssh/authorized_keys -if ! ssh -o StrictHostKeyChecking=no localhost true; then +if ! ssh -o NoHostAuthenticationForLocalhost=yes localhost true; then echo "Failed to ssh to self" >&2 exit 1 fi