gcc-10-20200516 is now available

2020-05-16 Thread GCC Administrator via Gcc
Snapshot gcc-10-20200516 is now available on https://gcc.gnu.org/pub/gcc/snapshots/10-20200516/ and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC 10 git branch with the following options: git://gcc.gnu.org/git/gcc.git branch

Re: dejagnu version update?

2020-05-16 Thread Maciej W. Rozycki via Gcc
On Thu, 14 May 2020, Rob Savoye wrote: > Right now working through patches is probably more important. :-) > There's zero patches on the DejaGnu savannah site, so I'd ask anybody to > submit them so I don't have to dig them out of email archives. I have reposted the single patch I have had out

Re: dejagnu version update?

2020-05-16 Thread Siddhesh Poyarekar
On 17/05/20 05:15, Maciej W. Rozycki wrote: > Siddhesh, would you care to tell us how much effort it would be to set up > fresh patchwork? The patch traffic is surely much lower with DejaGnu than > it is with glibc, and there would be no data to migrate (but we might want > to feed a couple of

Re: dejagnu version update?

2020-05-16 Thread Rob Savoye
On 5/16/20 5:45 PM, Maciej W. Rozycki wrote: > Overall perhaps a patch management system might be good having to make > chasing patches easier, such as patchwork, and we already use Git, so we As an old GNU project, we're required to use what the FSF prefers, which is on savannah. https://sav

Re: dejagnu version update?

2020-05-16 Thread Andrew Pinski via Gcc
On Sat, May 16, 2020 at 9:02 PM Rob Savoye wrote: > > On 5/16/20 5:45 PM, Maciej W. Rozycki wrote: > > > Overall perhaps a patch management system might be good having to make > > chasing patches easier, such as patchwork, and we already use Git, so we > > As an old GNU project, we're required t