sergiotarxz/nuttx
sergiotarxz/nuttx
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

configure.sh: fix '/configure.sh -e board:config menuconfig' build break

Browse Source 
If boardconfig changed, '/configure.sh -e board:config menuconfig'
would finally call 'make distclean menuconfig' which results in
build break. It also applies to nconfig and qconfig.

Change-Id: I44c06718cbda948932c667b9f2d1339913c9ba37
Signed-off-by: liuhaitao <liuhaitao@xiaomi.com>
This commit is contained in:
liuhaitao 2021-01-04 15:39:42 +08:00 committed by Abdelatif Guettouche
parent f63db66382
commit 82ff5b52f0
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/configure.sh
View File

@ -189,7 +189,7 @@ fi
if [ -r ${dest_config} ]; then if [ -r ${dest_config} ]; then
if [ "X${enforce_distclean}" = "Xy" ]; then if [ "X${enforce_distclean}" = "Xy" ]; then
make -C ${TOPDIR} distclean $* make -C ${TOPDIR} distclean
else else
if cmp -s ${src_config} ${backup_config}; then if cmp -s ${src_config} ${backup_config}; then
echo "No configuration change." echo "No configuration change."
@ -197,7 +197,7 @@ if [ -r ${dest_config} ]; then
fi fi
if [ "X${distclean}" = "Xy" ]; then if [ "X${distclean}" = "Xy" ]; then
make -C ${TOPDIR} distclean $* make -C ${TOPDIR} distclean
else else
echo "Already configured!" echo "Already configured!"
echo "Please 'make distclean' and try again." echo "Please 'make distclean' and try again."