mcreboot.sh: Fix error handling of BUILDID mismatch

Change-Id: I29d78c4739679e0b3229cc6fa28816f1ceee332c
2018-11-29 13:27:19 +09:00
parent 82a57d5f55
commit 715f67f32f
1 changed files with 1 additions and 1 deletions
--- a/arch/x86_64/tools/mcreboot-smp-x86.sh.in
+++ b/arch/x86_64/tools/mcreboot-smp-x86.sh.in
@ -391,7 +391,7 @@ fi
 IHK_BUILDID=`${SBINDIR}/ihkconfig 0 get buildid`
 if [  "${IHK_BUILDID}" != "${MCK_BUILDID}" ]; then
 	echo "IHK build-id (${IHK_BUILDID}) didn't match McKernel build-id (${MCK_BUILDID})." >&2
-	exit 1
+	error_exit "mcctrl_loaded"
 fi

 # Destroy all LWK instances