diff options
Diffstat (limited to 'tools/examples/Makefile')
| -rw-r--r-- | tools/examples/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/examples/Makefile b/tools/examples/Makefile index 72c1f610eb..ae65b6748f 100644 --- a/tools/examples/Makefile +++ b/tools/examples/Makefile @@ -12,6 +12,9 @@ XEN_CONFIG_DIR = /etc/xen XEN_CONFIGS = xend-config.sxp XEN_CONFIGS += xmexample1 XEN_CONFIGS += xmexample2 +XEN_CONFIGS += xmexample.vmx +XEN_CONFIGS += mem-map.sxp +XEN_CONFIGS += bochsrc # Xen script dir and scripts to go there. XEN_SCRIPT_DIR = /etc/xen/scripts |