diff options
Diffstat (limited to 'ovmf.patch')
| -rw-r--r-- | ovmf.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/ovmf.patch b/ovmf.patch deleted file mode 100644 index 19ad7d326015..000000000000 --- a/ovmf.patch +++ /dev/null @@ -1,12 +0,0 @@ ---- 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: |