[Bug default/25443] New: 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

            Bug ID: 25443
           Summary: make check exits with 0 if dejagnu is not installed
           Product: poke
           Version: unspecified
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: default
          Assignee: unassigned at sourceware dot org
          Reporter: dan.cermak at posteo dot net
                CC: poke-devel at gnu dot org
  Target Milestone: ---

make check should exit with a non-zero exit status if runtest from dejagnu is
not installed, as otherwise the tests will appear to pass, but you won't
actually find out unless you see the one line saying that runtest wasn't found.

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