diff options
-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 ba54a1b8c7..3d820c5f18 100644 --- a/tools/examples/Makefile +++ b/tools/examples/Makefile @@ -22,6 +22,7 @@ XEN_CONFIGS += xmexample.vti XEN_CONFIGS += xend-pci-quirks.sxp XEN_CONFIGS += xend-pci-permissive.sxp XEN_CONFIGS += xl.conf +XEN_CONFIGS += cpupool .PHONY: all all: |