diff --git a/tools/setup_sdcard.sh b/tools/setup_sdcard.sh
index 5803c90e3c5678b44a1f1a5c40143cff8aaf26ba..de775d52b0b40aba293c83b8be4b46679632c0c5 100755
--- a/tools/setup_sdcard.sh
+++ b/tools/setup_sdcard.sh
@@ -910,7 +910,7 @@ populate_boot () {
 		cp -v "${DIR}/ID.txt" ${TEMPDIR}/disk/ID.txt
 	fi
 
-	if [ "x${conf_board}" = "ximx8mqevk_buildroot" ]
+	if [ "x${conf_board}" = "ximx8mqevk_buildroot" ] ; then
 		touch ${TEMPDIR}/disk/.imx8mq-evk
 	fi