On Tue, 15 Dec 2020, Jakub Jelinek via Gcc-patches wrote: > On Mon, Dec 14, 2020 at 11:58:05PM +0000, Joseph Myers wrote: > > > 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? > > So like this? Ok for trunk?
OK. -- Joseph S. Myers jos...@codesourcery.com