From 30a654a9906e09429e886c0392eeb95d3f1eb000 Mon Sep 17 00:00:00 2001 From: Hoegeun Kwon Date: Mon, 15 Jun 2020 16:20:33 +0900 Subject: [PATCH] scripts: mkbootimg_rpi4.sh: Fix how to check 64bit The CONFIG_64BIT_TIME configuration is used by 32bit kernel, so it is having problem identifying 64bit. So modify to "CONFIG_64BIT=y". Change-Id: I0e8b3e34b3faf5f307ce9bc0fef266397ae697a7 Signed-off-by: Hoegeun Kwon --- scripts/mkbootimg_rpi4.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mkbootimg_rpi4.sh b/scripts/mkbootimg_rpi4.sh index 5fbf319..f78575d 100755 --- a/scripts/mkbootimg_rpi4.sh +++ b/scripts/mkbootimg_rpi4.sh @@ -3,7 +3,7 @@ BOOT_PATH="rpi4/boot" USER_ID=`id -u` GROUP_ID=`id -g` -IS_64BIT=`cat .config | grep CONFIG_64BIT` +IS_64BIT=`cat .config | grep "CONFIG_64BIT=y"` rm -f boot.img rm -rf tmp -- 2.7.4