bug#47169: 28.0.50; [feature/native-comp] native-compiler-error-empty-byte when batch-native-compiling is confusing to users

[Mauricio Collares]

Andrea Corallo <akrl@sdf.org> writes:
>
> Okay f3abb17118 should implement this.
>
> Mauricio could you try if this works for you?

Hi Andrea,

Thanks for taking a look at this! Making no-byte-compile imply
no-native-compile is a good idea. However, I think the bug is still
present: I just tested f3abb17118 by running batch-native-compile on a
file whose first line is ";;; -*- no-byte-compile: t -*-", and I still
see native-compiler-error-empty-byte being signaled.

Best,
Mauricio