From 17edd8183361c3f69f38d286632c22740b98a3dd Mon Sep 17 00:00:00 2001 From: Ycarus Date: Tue, 4 Jun 2019 19:48:04 +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 a597cc5e..256fa8a1 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 [ ! -f "target/linux/x86/image/startup.nsh" ]; then + if [ -z "$(grep EFI target/linux/x86/image/Makefile)" ]; then patch -N -p1 -s < ../../patches/uefi.patch fi else - if [ -f "target/linux/x86/image/startup.nsh" ]; then + if [ -n "$(grep EFI target/linux/x86/image/Makefile)" ]; then patch -N -R -p1 -s < ../../patches/uefi.patch fi fi