blob: 8fe0cc315c1072a5c90154843582d00d6867023b (
plain)
1
2
3
4
5
6
7
8
9
10
|
--- a/tools/firmware/Makefile 2015-07-04 19:12:25.128440156 -0500
+++ b/tools/firmware/Makefile 2015-07-04 19:14:17.614028900 -0500
@@ -23,6 +23,7 @@
seabios-dir:
GIT=$(GIT) $(XEN_ROOT)/scripts/git-checkout.sh $(SEABIOS_UPSTREAM_URL) $(SEABIOS_UPSTREAM_TAG) seabios-dir
+ patch -Np1 -i seabios-gcc5.patch
cp seabios-config seabios-dir/.config;
.PHONY: all
|