On Mon, 2023-06-19 at 19:06 +0100, Andrew Cooper wrote: > These aren't used, and are not obvious useful either. > > tools/ does have some logic which works on $(XEN_OS) directly, and > some on > CONFIG_$(XEN_OS) too, but this isn't how we typically refer to > things. > > The only user ever of this scheme was introduced in c0fd920e987 > (2006) and > deleted in fa2244104b4 (2010). > > No functional change.
Looks fine to me. Reviewed-by: Oleksii Kurochko <oleksii.kuroc...@gmail.com> ~ Oleksii
