Re: gcc/DATESTAMP not updated any longer

Tue, 15 Dec 2020 00:30:13 -0800 

On 12/15/20 12:58 AM, Joseph Myers wrote:

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


Jakub can you please do it?

Thanks,
Martin

























					Reply via email to