On Monday, December 30, 2013 5:32:37 PM UTC+1, John Cremona wrote:
>
> A ticket I am reviewing, and am personally quite happy with (#11630)
> has a failing patchbot red blob meaning "apply failed". According to
> the log, what failed was a line "./sage -i ccache".
>
> What is this? To me, it looks like a failure of the patchbot rather
> than of the patch (i.e. commit).
>
Create a file that contains
{
"use_ccache": false
}
and pass the option --config=file with your sage --patchbot command until
this issue is fixed:
https://github.com/robertwb/sage-patchbot/issues/10
Regards,
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
