From c4e2d88e6b2deaa76ac50f2aff6f69bb725e8bb9 Mon Sep 17 00:00:00 2001
From: liuhaitao <liuhaitao@xiaomi.com>
Date: Wed, 28 Jul 2021 16:42:41 +0800
Subject: [PATCH] Make top Make.defs symlink to board Make.defs instead

Symlink to board Make.defs for top Make.defs, so top Make.defs
syncs in realtime.

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

diff --git a/tools/configure.sh b/tools/configure.sh
index 793c0c95af..e0dd40b7aa 100755
--- a/tools/configure.sh
+++ b/tools/configure.sh
@@ -268,8 +268,8 @@ fi
 # Okay... Everything looks good.  Setup the configuration
 
 echo "  Copy files"
-install -m 644 ${src_makedefs} "${dest_makedefs}" || \
-  { echo "Failed to copy ${src_makedefs}" ; exit 8 ; }
+ln -sf ${src_makedefs} ${dest_makedefs} || \
+  { echo "Failed to symlink ${src_makedefs}" ; exit 8 ; }
 install -m 644 ${src_config} "${dest_config}" || \
   { echo "Failed to copy ${src_config}" ; exit 9 ; }
 install -m 644 ${src_config} "${backup_config}" || \