diff options
Diffstat (limited to 'libre/xen/ovmf.patch')
-rw-r--r-- | libre/xen/ovmf.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/libre/xen/ovmf.patch b/libre/xen/ovmf.patch new file mode 100644 index 000000000..19ad7d326 --- /dev/null +++ b/libre/xen/ovmf.patch @@ -0,0 +1,12 @@ +--- a/tools/firmware/Makefile ++++ b/tools/firmware/Makefile +@@ -19,6 +19,9 @@ + + ovmf-dir: + GIT=$(GIT) $(XEN_ROOT)/scripts/git-checkout.sh $(OVMF_UPSTREAM_URL) $(OVMF_UPSTREAM_REVISION) ovmf-dir ++ sed 's|python |python2 |g' -i "ovmf-dir/BaseTools/BinWrappers/PosixLike"/* || true ++ sed 's|python |python2 |g' -i "ovmf-dir/BaseTools/Tests/GNUmakefile" ++ patch -Np1 -i patch-gcc6-ovmf-build.sh.patch + cp ovmf-makefile ovmf-dir/Makefile; + + seabios-dir: |