mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 02:01:24 +01:00
Andrew Cooper
7f314e0aa5
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 (AFAICT) was introduced inc0fd920e98(2006) and deleted infa2244104b(2010). No functional change. Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com> Reviewed-by: Jan Beulich <jbeulich@suse.com> Reviewed-by: Oleksii Kurochko <oleksii.kurochko@gmail.com> Reviewed-by: Alistair Francis <alistair.francis@wdc.com> Acked-by: Stefano Stabellini <sstabellini@kernel.org> Tested-by: Jiamei Xie <jiamei.xie@arm.com>