diff options
| author | <stefano.stabellini@eu.citrix.com> | 2012-01-24 15:09:31 +0000 |
|---|---|---|
| committer | <stefano.stabellini@eu.citrix.com> | 2012-01-24 15:09:31 +0000 |
| commit | 14ee3c05f3ef7d1d2580043392c500be2fc7cbfe (patch) | |
| tree | aaafc8e3ac143ae3ed7b3b95cfa2c1e09564d12f /tools/firmware/Makefile | |
| parent | e737b4333bb287b6134a89edff2bde2a7e048a9e (diff) | |
| download | xen-14ee3c05f3ef7d1d2580043392c500be2fc7cbfe.tar.gz xen-14ee3c05f3ef7d1d2580043392c500be2fc7cbfe.tar.bz2 xen-14ee3c05f3ef7d1d2580043392c500be2fc7cbfe.zip | |
Clone and build Seabios by default
From: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Committed-by: Ian Jackson <ian.jackson.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Diffstat (limited to 'tools/firmware/Makefile')
| -rw-r--r-- | tools/firmware/Makefile | 21 |
1 files changed, 19 insertions, 2 deletions
diff --git a/tools/firmware/Makefile b/tools/firmware/Makefile index 4b6d144134..c3ec9a07b9 100644 --- a/tools/firmware/Makefile +++ b/tools/firmware/Makefile @@ -6,13 +6,18 @@ TARGET := hvmloader/hvmloader INST_DIR := $(DESTDIR)$(XENFIRMWAREDIR) SUBDIRS := +SUBDIRS += seabios-dir SUBDIRS += rombios SUBDIRS += vgabios SUBDIRS += etherboot SUBDIRS += hvmloader +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 -all: +all: seabios-dir @set -e; if [ $$((`( bcc -v 2>&1 | grep version || echo 0.0.0 ) | cut -d' ' -f 3 | awk -F. '{ printf "0x%02x%02x%02x", $$1, $$2, $$3}'`)) -lt $$((0x00100e)) ] ; then \ echo "==========================================================================="; \ echo "Require dev86 rpm or bin86 & bcc debs version >= 0.16.14 to build firmware!"; \ @@ -35,4 +40,16 @@ clean: subdirs-clean distclean: subdirs-distclean subdir-distclean-etherboot: .phony - $(MAKE) -C etherboot distclean
\ No newline at end of file + $(MAKE) -C etherboot distclean + +subdir-distclean-seabios-dir: .phony + rm -rf seabios-dir seabios-dir-remote + +.PHONY: seabios-dir-force-update +seabios-dir-force-update: + set -ex; \ + if [ "$(SEABIOS_UPSTREAM_TAG)" ]; then \ + cd seabios-dir-remote; \ + $(GIT) fetch origin; \ + $(GIT) reset --hard $(SEABIOS_UPSTREAM_TAG); \ + fi |