From 130a3c1507f12daf9054784bc017931f33512abe Mon Sep 17 00:00:00 2001 From: Ycarus Date: Tue, 4 Jun 2019 20:24:03 +0200 Subject: [PATCH] Fix UEFI check --- build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build.sh b/build.sh index 256fa8a1..c71db4ec 100755 --- a/build.sh +++ b/build.sh @@ -143,11 +143,11 @@ cd "$OMR_TARGET/source" echo "Checking if UEFI patch is set or not" if [ "$OMR_UEFI" = "yes" ] && [ "$OMR_TARGET" = "x86_64" ]; then - if [ -z "$(grep EFI target/linux/x86/image/Makefile)" ]; then + if [ "$(grep 'EFI_IMAGES' target/linux/x86/image/Makefile)" = "" ]; then patch -N -p1 -s < ../../patches/uefi.patch fi else - if [ -n "$(grep EFI target/linux/x86/image/Makefile)" ]; then + if [ "$(grep 'EFI_IMAGES' target/linux/x86/image/Makefile)" != "" ]; then patch -N -R -p1 -s < ../../patches/uefi.patch fi fi