[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 #2 from Dan Čermák <dan.cermak at posteo dot net> ---
(In reply to Jose E. Marchesi from comment #1)
> Is there any particular scenario you are handling where this is problematic?

Yes, I have created an rpm of poke, just inserted a make check into the build
recipe and didn't really bother to check the output. Then I later found out
that make check did silently nothing and you didn't find out until I checked
the output that I was missing a dependency.

So if make check would fail, I would have found out earlier that something was
missing (and other packagers might actually never bother to check the long
output from poke and would never find out).

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