diff options
| author | Ian Campbell <ian.campbell@citrix.com> | 2013-07-31 16:15:50 +0100 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2013-08-20 15:33:54 +0100 |
| commit | 03145f0fe42c007834c1ef50d95fe6c4f58a326a (patch) | |
| tree | 83b0a7896a8de2e13237ce33b43a625f0472dd98 /config | |
| parent | 9af42f3598ba6f4b38384fdd2038c30f7ec763b9 (diff) | |
| download | xen-03145f0fe42c007834c1ef50d95fe6c4f58a326a.tar.gz xen-03145f0fe42c007834c1ef50d95fe6c4f58a326a.tar.bz2 xen-03145f0fe42c007834c1ef50d95fe6c4f58a326a.zip | |
tools: make building xend configurable.
xend has been deprecated for 2 releases now. Lets make it possible to not even
build it.
For now I'm leaving the default of on but I would like to change that before
the 4.4 release.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Matt Wilson <msw@amazon.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
Diffstat (limited to 'config')
| -rw-r--r-- | config/Tools.mk.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/Tools.mk.in b/config/Tools.mk.in index 5e2c6d8810..ef41c2a748 100644 --- a/config/Tools.mk.in +++ b/config/Tools.mk.in @@ -52,6 +52,7 @@ CONFIG_LOMOUNT := @lomount@ CONFIG_OVMF := @ovmf@ CONFIG_ROMBIOS := @rombios@ CONFIG_SEABIOS := @seabios@ +CONFIG_XEND := @xend@ #System options CONFIG_SYSTEM_LIBAIO:= @system_aio@ |