From f2d9f5c43ae0d1d936ed14114ea5e61c54303247 Mon Sep 17 00:00:00 2001
From: liuhaitao <liuhaitao@xiaomi.com>
Date: Wed, 21 Oct 2020 15:34:15 +0800
Subject: [PATCH] configure.sh: update custom board config build

If Make.defs not found under boardconfig dir, then try
scripts/Make.defs.

Signed-off-by: liuhaitao <liuhaitao@xiaomi.com>
---
 tools/configure.sh | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/tools/configure.sh b/tools/configure.sh
index b31a8bd98a..5365b283a0 100755
--- a/tools/configure.sh
+++ b/tools/configure.sh
@@ -165,8 +165,12 @@ if [ ! -r ${src_makedefs} ]; then
   if [ ! -r ${src_makedefs} ]; then
     src_makedefs=${TOPDIR}/${boardconfig}/Make.defs
     if [ ! -r ${src_makedefs} ]; then
-      echo "File Make.defs could not be found"
-      exit 4
+      src_makedefs=${TOPDIR}/${boardconfig}/../../scripts/Make.defs
+
+      if [ ! -r ${src_makedefs} ]; then
+        echo "File Make.defs could not be found"
+        exit 4
+      fi
     fi
   fi
 fi