[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: buildd could run "make -i" twice on failure

On Sat, Sep 07, 2013 at 11:28:31PM +0200, Daniel Pocock wrote:
> After a build fails on the buildd, it would be really useful to have the
> build run again twice with "make -i" and log the output of the second retry

What's the main advantage of doing so?  To log further errors not
seen due to the first failure?  Why not just use "-k" to begin

> Obviously I could hack something like this into debian/rules:
> make || make -i ; make -i ; exit 1
> but it would be nice to have a centrally managed approach

There's no guarantee that "make" is being used for building, and
it's non-trivial to determine if it is or is not in use, nor how
to invoke it appropriately.  If we want to do it centrally, it
would be more reliable to add a new target which sbuild or other
build tools could invoke on error, and which package maintainers
could add to support their specific requirements.


  .''`.  Roger Leigh
 : :' :  Debian GNU/Linux             http://people.debian.org/~rleigh/
 `. `'   Printing on GNU/Linux?       http://gutenprint.sourceforge.net/
   `-    GPG Public Key: 0x25BFB848   Please GPG sign your mail.

Attachment: signature.asc
Description: Digital signature

Reply to: