On 2014-01-10 16:42, Martin R wrote:
There are at least 2 patches where the patchbot currently complains, because it has some problem with ccache:
This is the cause of the problem:
tee: /tmp/tmpNKZ6HM-sage-git-temp-14347/logs/install.log: No such file or directory
-- You received this message because you are subscribed to the Google Groups "sage-git" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
