mirror of
https://github.com/xen-project/xen.git
synced 2026-10-28 18:21:39 +01:00
I'm suggesting this change to make another tiny step towards the ability to run the tools e.g. out of the build tree (so that multiple different Xen versions can co-exist without the requirement to re-install the respective version with each boot). Signed-off-by: Jan Beulich <jbeulich@novell.com>