Boris Ostrovsky writes ("Re: [PATCH v3 13/19] acpi: Makefile should better tolerate interrupts"): > In fact, I can just append a dot to the name:
I think it would be less weird to append a dot and then an actual extension with some letters or something. I'm not sure what the extension ought to be but just a dot is going to be weird and confusing. Ian. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel