diff options
Diffstat (limited to 'tools/examples/Makefile')
| -rw-r--r-- | tools/examples/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/examples/Makefile b/tools/examples/Makefile index a911fff057..ba54a1b8c7 100644 --- a/tools/examples/Makefile +++ b/tools/examples/Makefile @@ -21,6 +21,7 @@ XEN_CONFIGS += xmexample.nbd XEN_CONFIGS += xmexample.vti XEN_CONFIGS += xend-pci-quirks.sxp XEN_CONFIGS += xend-pci-permissive.sxp +XEN_CONFIGS += xl.conf .PHONY: all all: |