Oh OK.

the code that's injecting a spurious extra ‘(system . (%current-system))’ that's causing these double builds

is not actually the problem. Instead, the profile hooks are unconditionally built for the host's (%current-system). Forcing them to match ‘--system=’ does the trick. Simple™!

Kind regards,

T G-R

Sent from a Web browser.  Excuse or enjoy my brevity.



Reply via email to