On 3 Jun 2023 at 3:13 PM +0100, Eli Zaretskii <eliz@gnu.org>, wrote:
Date: Sat, 3 Jun 2023 15:05:06 +0100
From: Jimmy Wong <wyuenho@gmail.com>
Cc: 63871-done@debbugs.gnu.org
When there’s a package or a file that should not be natively compiled, there should be a global
blacklist variable that controls that instead of relying on a file local variable in order to short circuit this
behavior.
We decided against that. (A blacklist would unnecessarily complicate
any changes in our decisions which file to compile and which not to
compile.) We think what we have now is perfectly fine. I still don't
understand why you see a problem there. It's perhaps unexpected, but
that's all. It's a buffer users normally don't need to look into.
The alternatives are worse, sometimes much worse.