|
| From: | darnir at gnu dot org |
| Subject: | [Bug default/25443] make check exits with 0 if dejagnu is not installed |
| Date: | Tue, 28 Jan 2020 21:31:29 +0000 |
https://sourceware.org/bugzilla/show_bug.cgi?id=25443
darnir at gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
CC| |darnir at gnu dot org
Resolution|--- |FIXED
--- Comment #7 from darnir at gnu dot org ---
Fixed with commit 15e90baf
--
You are receiving this mail because:
You are on the CC list for the bug.
| [Prev in Thread] | Current Thread | [Next in Thread] |