[sage-devel] Re: Why is patchbot installing stuff?
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 sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
Re: [sage-devel] Re: Why is patchbot installing stuff?
On Mon, Dec 30, 2013 at 3:28 PM, Robert Bradshaw < rober...@math.washington.edu> wrote: > For performance reasons, the patchbot always installs ccache. However, > this shouldn't fail... > This line in the log looks suspicious: tee: /tmp/tmp4Y_0j9-sage-git-temp-11630/logs/install.log: No such file or directory I don't know who's running this patchbot, but it may be a configuration error. -- Andrew -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
Re: [sage-devel] Re: Why is patchbot installing stuff?
For performance reasons, the patchbot always installs ccache. However, this shouldn't fail... On Mon, Dec 30, 2013 at 8:34 AM, Jean-Pierre Flori wrote: > > > 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". >> > I can see the same issue of a bunch of other tickets. > > -- > 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 sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/groups/opt_out. -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
[sage-devel] Re: Why is patchbot installing stuff?
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". > > I can see the same issue of a bunch of other tickets. -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
