On Thu, 2021-05-06 at 17:11 +0000, Martin Dorey wrote: > So MAKEOVERRIDES is exported, though perhaps it doesn't need to be, > but isn't expanded before being exported.
Oh duh!! I didn't provide any overrides. You're right, it is exported. OK I guess I'll have to go back and look at the code but it will not be today.
