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.
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.
Sebastien
