From f34362816df32c3686af144d23d25f9989ee248e Mon Sep 17 00:00:00 2001
From: German Semenov <GermanAizek@yandex.ru>
Date: Mon, 30 Oct 2023 06:53:23 -0500
Subject: [PATCH] Fixed annoying bug during build using make

---
 build.sh | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index 5bf69816..6a86f19f 100755
--- a/build.sh
+++ b/build.sh
@@ -843,5 +843,9 @@ fi
 
 echo "Building $OMR_DIST for the target $OMR_TARGET with kernel ${OMR_KERNEL}"
 make defconfig
-make IGNORE_ERRORS=m "$@"
-echo "Done"
+if make IGNORE_ERRORS=m "$@"
+then
+       echo "Done"
+else
+       cd $OMR_TARGET/$OMR_KERNEL/source && make
+fi