Re: make check-exec-image failure

[Bruno H. <br...@cl...>]

On 2017-03-13 I wrote:
> But what I need is that "make check" does not abort prematurely, because
> a "make check" failure means - to everyone - "the package is broken, you
> should better not proceed with 'make install'".

This is now done. If you want to run checks that include unportable ones,
and you are prepared to deal with failures, run

  make check extracheck

Bruno