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