Identified critical bug that breaks configure.sh

[Sebastien Lorquet]

After git bisect over more than 2000 revisions, I found that this commit 
broke configure.sh for my board

slo@slolin:~/Sources/ccv5-env/nuttx$ git bisect good
27685aa179ad7608394fb8a97e11ef532888a75d is the first bad commit
commit 27685aa179ad7608394fb8a97e11ef532888a75d
Author: yezhonghui <yezhong...@xiaomi.com>
Date:   Tue Sep 24 20:05:27 2024 +0800

   Fix config repeat define in include deconfig mode

   Signed-off-by: yezhonghui <yezhong...@xiaomi.com>

tools/process_config.sh | 2 ++
1 file changed, 2 insertions(+)

Congratulations the-one-we-should-not-name

Now please fix it


../product/tools/configure-nuttx.sh
 Copy files
sed: -e expression n°1, caractère 11: caractères inutiles après la commande
sed: -e expression n°1, caractère 16: commande inconnue: « O »
sed: -e expression n°1, caractère 17: caractères inutiles après la commande
sed: -e expression n°1, caractère 14: commande inconnue: « S »
sed: -e expression n°1, caractère 11: caractères inutiles après la commande
sed: -e expression n°1, caractère 13: commande inconnue: « O »
sed: -e expression n°1, caractère 17: commande inconnue: « O »
sed: -e expression n°1, caractère 11: commande inconnue: « m »
sed: -e expression n°1, caractère 14: commande inconnue: « Z »
sed: -e expression n°1, caractère 15: commande inconnue: « O »
 Select CONFIG_HOST_LINUX=y


Sebastien