[Bug default/25443] make check exits with 0 if dejagnu is not installed

[dan.cermak at posteo dot net]

https://sourceware.org/bugzilla/show_bug.cgi?id=25443

--- Comment #6 from Dan Čermák <dan.cermak at posteo dot net> ---
(In reply to Jose E. Marchesi from comment #5)
> Allright, after a short discussion in #poke I'm convinced that the right
> thing to do is to exit with a status of 77, which is part of the Automake
> protocol for test scripts.

That sounds actually perfect. If a packager forgets to add a BuildRequires:
dejagnu, then the build will abort.

-- 
You are receiving this mail because:
You are on the CC list for the bug.