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 deb155f3247ed00b92f8a7af62c76658633a0475 Author: Bernard Ogden bernie.ogden@linaro.org Date: Mon Jul 13 14:39:23 2015 +0200
Correct name of synchronization file
Change-Id: Id202a6aac4952097ff7b6fde7f6861338b8be182 --- invoke_session_debian | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/invoke_session_debian b/invoke_session_debian index 0a7899b..fcc6f16 100755 --- a/invoke_session_debian +++ b/invoke_session_debian @@ -66,7 +66,7 @@ if ! ssh -i ~/data/onetime -o StrictHostKeyChecking=no localhost [...] fi
echo "*** WAITING FOR SOURCE: ${ip_addr}" -while ! test -e /tmp/benchsrc_lock; do inotifywait -e create /tmp; done +while ! test -e /tmp/benchsrc_ready; do inotifywait -e create /tmp; done echo "" mkdir -p /run mkdir -p /run/hacking