On Fri, Jan 31, 2025 at 2:54 PM Sebastien Lorquet <sebast...@lorquet.fr> wrote: > On 31/01/2025 13:56, Tomek CEDRO wrote: > > Can you please report that Issue on GitHub? 🙂 > > I dont have github accounts anymore.
The mentioned commit was part of PR https://github.com/apache/nuttx/pull/14552/files It changes tools/process_config.sh like this: else local key_config="$(echo "$line" | cut -d= -f1)=" sed -i "/$key_config/d" $output_file echo "$line" >> $output_file fi done < "$input_file" There is no `sed -e` invocation here. There is one on line 30 but that was not changed. Also there is no tools/configure-nuttx.sh script in our repo. Also I am replyting to your emails while I should be working too.. please create working gh account just for problems reporting that would save time for everyone :-) -- CeDeROM, SQ7MHZ, http://www.tomek.cedro.info
