Sebastien, please provide details on build configuration / how to
reproduce, we cannot reproduce the problem.

I think I will charge you hourly rate for playing the "deaf phone" as
your secretary :D :D

@cederom which defconfig is used? I try the master branch sim:nsh with
sed 4.9 without problem:

xiaoxiang@LAPTOP-MCMVB0JB:~/backup/os/nuttx/nuttx$ ./tools/configure.sh sim:nsh
  Copy files
  Select CONFIG_HOST_LINUX=y
  Refreshing...
CP: arch/dummy/Kconfig to
/home/xiaoxiang/backup/os/nuttx/nuttx/arch/dummy/dummy_kconfig
CP: boards/dummy/Kconfig to
/home/xiaoxiang/backup/os/nuttx/nuttx/boards/dummy/dummy_kconfig
LN: platform/board to /home/xiaoxiang/backup/os/nuttx/apps/platform/dummy
LN: include/arch to arch/sim/include
LN: include/arch/board to
/home/xiaoxiang/backup/os/nuttx/nuttx/boards/sim/sim/sim/include
LN: drivers/platform to /home/xiaoxiang/backup/os/nuttx/nuttx/drivers/dummy
LN: include/arch/chip to
/home/xiaoxiang/backup/os/nuttx/nuttx/arch/sim/include/sim
LN: arch/sim/src/chip to /home/xiaoxiang/backup/os/nuttx/nuttx/arch/sim/src/sim
LN: arch/sim/src/board to
/home/xiaoxiang/backup/os/nuttx/nuttx/boards/sim/sim/sim/src
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/audioutils
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/benchmarks
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/boot
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/canutils
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/crypto
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/database
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/examples/mcuboot
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/examples/module
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/examples/rust
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/examples/sotest
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/examples
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/fsutils
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/games
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/graphics
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/industry
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/inertial
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/interpreters/luamodules
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/interpreters
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/logging
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/lte
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/math
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/mlearning
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/netutils
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/sdr
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/system
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing/arch
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing/cxx
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing/drivers
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing/fs
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing/libc
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing/mm
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing/sched
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/testing
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/videoutils
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/wireless/bluetooth
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/wireless/ieee802154
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps/wireless
mkkconfig in /home/xiaoxiang/backup/os/nuttx/apps
Loaded configuration '.config'
Configuration saved to '.config'
xiaoxiang@LAPTOP-MCMVB0JB:~/backup/os/nuttx/nuttx$
xiaoxiang@LAPTOP-MCMVB0JB:~/backup/os/nuttx/nuttx$ sed --version
sed (GNU sed) 4.9-dirty
Copyright (C) 2022 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <https://gnu.org/licenses/gpl.html>.
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.

Written by Jay Fenlason, Tom Lord, Ken Pizzini,
Paolo Bonzini, Jim Meyering, and Assaf Gordon.

This sed program was built with SELinux support.
SELinux is disabled on this system.

GNU sed home page: <https://www.gnu.org/software/sed/>.
General help using GNU software: <https://www.gnu.org/gethelp/>.
E-mail bug reports to: <bug-...@gnu.org>.



-- 
CeDeROM, SQ7MHZ, http://www.tomek.cedro.info

Reply via email to