On Fri, Jun 17, 2011 at 10:06:01PM +0200, Matthias Kilian wrote:
> Just wait a few days until I've some spare time available to help
> you with this, will you?
Certainly! Thank you for your interest; I know that you know far
more than me about this.
Please also take a look at two recent git comm
On Fri, Jun 17, 2011 at 07:35:19PM +0100, Graham Percival wrote:
> > >Again, on the shell, it would be something like this:
> > > make ...blah... || echo "build failed" && tail logfile
> > >but there might be a nicer way to do it.
> >
> > but then when blah fails, make will not stop, since the re
On Fri, Jun 17, 2011 at 07:35:19PM +0100, Graham Percival wrote:
> On Fri, Jun 17, 2011 at 02:18:55PM -0400, Julien Rioux wrote:
> > On 17/06/2011 2:11 PM, Graham Percival wrote:
> > > make ...blah... || echo "build failed" && tail logfile
> >
> > but then when blah fails, make will not stop, sin
On Fri, Jun 17, 2011 at 02:18:55PM -0400, Julien Rioux wrote:
> On 17/06/2011 2:11 PM, Graham Percival wrote:
> >Again, on the shell, it would be something like this:
> > make ...blah... || echo "build failed" && tail logfile
> >but there might be a nicer way to do it.
>
> but then when blah fail
