1 files changed, 3 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 7a1c5d59e7..50f1bfa086 100644
--- a/Makefile
+++ b/Makefile
@@ -257,6 +257,9 @@ uninstall:
 linux26:
 	$(MAKE) 'KERNELS=linux-2.6*' kernels
 
+.PHONY: xenversion
+xenversion:
+	@$(MAKE) --no-print-directory -C xen xenversion
 
 #
 # tboot targets