On Fri, Jan 31, 2025 at 3:10 PM Sebastien Lorquet <sebast...@lorquet.fr> wrote: > Hi, > On 31/01/2025 15:07, Tomek CEDRO wrote: > > 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. > slo@slolin:~/Sources/product-env/nuttx$ cat > ../product/tools/configure-nuttx.sh > tools/configure.sh -a ../product/apps/ ../ccv5/board/configs/net > > Simple as that. > > I reverted this commit in our local fork, so fix it or not, either works.
I have reported that problem for you on the mentioned PR. I will forward information that reverting the commit fixes the issue. > > 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 :-) > > > No. If you are not part of the fix process then do not expect results :-( -- CeDeROM, SQ7MHZ, http://www.tomek.cedro.info
