|
| From: | Gerd Möllmann |
| Subject: | Re: igc: trying to chase a crash |
| Date: | Wed, 27 Nov 2024 12:16:27 +0100 |
| User-agent: | Gnus/5.13 (Gnus v5.13) |
Andrea Corallo <acorallo@gnu.org> writes: > BTW, I think if the user explicitly uses --with-mps the configuration > should fail if MPS is not available. > > Andrea Can't say much about that - it's behaving like for some other libs ATM.
| [Prev in Thread] | Current Thread | [Next in Thread] |