gcc/DATESTAMP not updated any longer

[Joseph Myers]

On Fri, 11 Dec 2020, Martin Liška wrote:

> On 12/11/20 2:17 PM, Rainer Orth wrote:
> > Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE> writes:
> > 
> > > I noticed that gcc/DATESTAMP isn't updated any longer after this
> > > Friday.  I doubt this is intentional...
> > 
> > This has happened again tonight...
> > 
> > 	Rainer
> > 
> 
> Thanks for heads up. I'm aware of it and I don't see reason why (running the
> update script in dry mode works).

https://gcc.gnu.org/pipermail/gccadmin/2020q4/017037.html

OSError: [Errno 28] No space left on device: 
'/tmp/tmp.Zq3p6D4MxS/gcc/.git/objects/objn31xpefh' -> 
'/tmp/tmp.Zq3p6D4MxS/gcc/.git/objects/db/ffb02a4bcdd4ec04af3db75d86b8cc2e52bdff'

Maybe change the script to use /sourceware/snapshot-tmp/gcc (which has 
rather more space) instead of /tmp?

-- 
Joseph S. Myers
joseph@codesourcery.com