Please provide source code of the GCC binaries you're shipping

[goblin]

You're shipping a version of gcc, i.e. from http://119.23.153.38/download/gcc-arm-none-eabi-8-2019-q3-update-linux.tar.gz . Is it modified in any way? Where is the source code? How can I rebuild it?

Originally posted by @goblin in #80 (comment)

[Heltec-Aaron-Lee]

Haha, you are overestimating me 🤣

I think I don’t have the ability to modify GCC, but because of the Great Firewall in mainland China, many users in Mainland China cannot download or the speed is very slow, so I store GCC on my own server.

[goblin]

OK, thanks for the info :-)

I had the same problem downloading from Europe. The get.py and the Arduino IDE were trying to download the GCC from your server, but the connection was stalling after getting a few MB; presumably this was due to the Great Firewall kicking in. I had to bypass these scripts and download manually with wget --read-timeout=15.

But if I can use the gcc shipped by Debian, then it's fine.