Config.mk: Update for 4.9.0-rc1.2

Contrary to what I wrote in d0db50ced1f7 "Config.mk: Update for
4.9.0-rc1.1", the build failure with 4.9.0-rc1 was not due to a wrong
qemu tag, but a wrong mini-os tag.  So burn 4.9.0-rc1.1 too :-(.  (We
can rewind the qemu-trad tag to 4.9.0-rc1; the -rc1 and -rc1.1 tags
are identical.)

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>

diff --git a/Config.mk b/Config.mk
index c2e4e3708f6b280fc46998d7fbfac09e1c88933b..8642feca1e7dff82c21b9cf73d9ad56da5f8cfb4 100644 (file)
--- a/Config.mk
+++ b/Config.mk
@@ -269,7 +269,7 @@ MINIOS_UPSTREAM_URL ?= git://xenbits.xen.org/mini-os.git
 endif
 OVMF_UPSTREAM_REVISION ?= 5920a9d16b1ab887c2858224316a98e961d71b05
 QEMU_UPSTREAM_REVISION ?= qemu-xen-4.9.0-rc1
-MINIOS_UPSTREAM_REVISION ?= xen-4.9.0-rc1
+MINIOS_UPSTREAM_REVISION ?= xen-4.9.0-rc1.2
 # Tue Dec 13 15:02:02 2016 +0000
 # build: prepend OBJ_DIR to linker script
 
@@ -280,7 +280,7 @@ SEABIOS_UPSTREAM_REVISION ?= rel-1.10.0
 ETHERBOOT_NICS ?= rtl8139 8086100e
 
 
-QEMU_TRADITIONAL_REVISION ?= xen-4.9.0-rc1.1
+QEMU_TRADITIONAL_REVISION ?= xen-4.9.0-rc1
 # Thu Mar 9 11:14:55 2017 +0000
 # cirrus/vnc: zap drop bitblit support from console code.