On Fri, 11 Dec 2020, Martin Liška wrote: > On 12/11/20 2:17 PM, Rainer Orth wrote: > > Rainer Orth <r...@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 jos...@codesourcery.com
