exit 1
fi
+if [ ${#} -eq 1 ]; then
+ EVK_IP="${1}"
+fi
+
if [ ! -f .config ]; then
echo "Missing configuration file .config."
echo "Configure your kernel by running 'hvk-init.sh'"
${KMAKE} u-boot-initial-env
fi
-if [ ${#} -eq 1 ]; then
- EVK_IP="${1}"
-
+if [ "${EVK_IP}" != "" ]; then
scp ${BOOT_SRC}/Image root@${EVK_IP}:${BOOT_DEST}/Image-latest
scp ${DTB_SRC} root@${EVK_IP}:${BOOT_DEST}/latest.dtb