diff --git a/tools/examples/Makefile b/tools/examples/Makefile
index 2a6c5444d4..14e24f4cb3 100644
--- a/tools/examples/Makefile
+++ b/tools/examples/Makefile
@@ -6,6 +6,7 @@ XEN_READMES = README
 
 XEN_CONFIGS += xlexample.hvm
 XEN_CONFIGS += xlexample.pvlinux
+XEN_CONFIGS += xlexample.pvhlinux
 XEN_CONFIGS += xl.conf
 XEN_CONFIGS += cpupool