diff options
Diffstat (limited to 'xen/Makefile')
| -rw-r--r-- | xen/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/xen/Makefile b/xen/Makefile index dcaab5cbf2..19ada7ef54 100644 --- a/xen/Makefile +++ b/xen/Makefile @@ -129,6 +129,10 @@ define set_exuberant_flags --extra=+f --c-kinds=+px") || true` endef +.PHONY: xenversion +xenversion: + @echo $(XEN_FULLVERSION) + .PHONY: _TAGS _TAGS: set -e; rm -f TAGS; \ |