hvk: display name of board in init script

diff --git a/scripts/hvk-init.sh b/scripts/hvk-init.sh
index d9e5aca87d613aff97f43bcfafb999ef190ab6e0..bd189af43c5a42fdd7c39bcd573d976f2da43d09 100755 (executable)
--- a/scripts/hvk-init.sh
+++ b/scripts/hvk-init.sh
@@ -17,6 +17,8 @@ if [ x"${DEFCONFIG_AUTOGEN}" != x"" ]; then
     fi
 fi
 
+echo "Board init: ${DEFCONFIG_BOARD}"
+
 ${KMAKE} ${DEFCONFIG_OPT}
 
 if [ x"${1}" = x"yocto" ]; then