temporarily giving up using Git for GCC MELT

[Miles Bader]

Basile Starynkevitch <basile@starynkevitch.net> writes:
> PS. By the way, git clone-ing the GCC git repository takes a lot of time
> from Europe. Perhaps having a daily tar ball of the result of that command
> available by ftp would be very nice....

Do you use the http: or git: protocol for cloning?  The official gcc git
repo only supports the "old" git http: protocol, which is almost useless
on slow/high-latency networks...

[There's also a github mirror, and github supports the "smart" http:
protocol:  https://github.com/mirrors/gcc.git ]

-Miles

-- 
Consult, v.i. To seek another's disapproval of a course already decided on.