diff options
Diffstat (limited to 'system/xen/patches/use_already_present_seabios.diff')
| -rw-r--r-- | system/xen/patches/use_already_present_seabios.diff | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/system/xen/patches/use_already_present_seabios.diff b/system/xen/patches/use_already_present_seabios.diff new file mode 100644 index 0000000000..a73dba9f02 --- /dev/null +++ b/system/xen/patches/use_already_present_seabios.diff @@ -0,0 +1,11 @@ +--- xen-4.3.1/tools/firmware/Makefile.ORIG 2013-10-30 09:18:28.000000000 +0100 ++++ xen-4.3.1/tools/firmware/Makefile 2013-11-04 12:28:10.056796654 +0100 +@@ -18,7 +18,7 @@ + cp ovmf-makefile ovmf/Makefile; + + seabios-dir: +- GIT=$(GIT) $(XEN_ROOT)/scripts/git-checkout.sh $(SEABIOS_UPSTREAM_URL) $(SEABIOS_UPSTREAM_TAG) seabios-dir ++# GIT=$(GIT) $(XEN_ROOT)/scripts/git-checkout.sh $(SEABIOS_UPSTREAM_URL) $(SEABIOS_UPSTREAM_TAG) seabios-dir + cp seabios-config seabios-dir/.config; + + .PHONY: all |