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 5c4161c0d3dd4ba75c5117642de54f26f38363be Author: Bernard Ogden bernie.ogden@linaro.org Date: Tue Jul 28 10:32:55 2015 +0200

Halt targets on successful run

Change-Id: I3111b37c5222ac1c53f2cc01d658351313379a40 --- invoke_session_debian | 1 + 1 file changed, 1 insertion(+)

diff --git a/invoke_session_debian b/invoke_session_debian index f7dfde5..6403b9e 100755 --- a/invoke_session_debian +++ b/invoke_session_debian @@ -122,6 +122,7 @@ rm ~/data/socket

export targets="${target_names[@]}" export maindir="/${HOME}/bench" +export post_target_cmd="shutdown -h 0" mkdir "${maindir}" chmod 700 "${maindir}"