diff options
Diffstat (limited to 'tools/examples/Makefile')
-rw-r--r-- | tools/examples/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/examples/Makefile b/tools/examples/Makefile index 6c8349b154..ecddb43e77 100644 --- a/tools/examples/Makefile +++ b/tools/examples/Makefile @@ -17,7 +17,6 @@ XEN_CONFIGS += xmexample2 XEN_CONFIGS += xmexample3 XEN_CONFIGS += xmexample.hvm XEN_CONFIGS += xmexample.hvm-stubdom -XEN_CONFIGS += xmexample.hvm-dm XEN_CONFIGS += xmexample.pv-grub XEN_CONFIGS += xmexample.nbd XEN_CONFIGS += xmexample.vti |