diff options
| -rw-r--r-- | recipes-extended/xen/xen.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/recipes-extended/xen/xen.inc b/recipes-extended/xen/xen.inc index 00f18238..9e354596 100644 --- a/recipes-extended/xen/xen.inc +++ b/recipes-extended/xen/xen.inc | |||
| @@ -712,6 +712,7 @@ EXTRA_OECONF += " \ | |||
| 712 | --disable-pv-grub \ | 712 | --disable-pv-grub \ |
| 713 | --disable-xenstore-stubdom \ | 713 | --disable-xenstore-stubdom \ |
| 714 | --disable-rombios \ | 714 | --disable-rombios \ |
| 715 | --disable-ocamltools \ | ||
| 715 | " | 716 | " |
| 716 | 717 | ||
| 717 | do_configure() { | 718 | do_configure() { |