From 9a3c2a26c2e97a97b3f0528400e5d261e4b1d190 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