]> xenbits.xensource.com Git - xen.git/commit
Config.mk: update mini-os revision
authorWei Liu <wei.liu2@citrix.com>
Wed, 4 May 2016 09:37:59 +0000 (10:37 +0100)
committerWei Liu <wei.liu2@citrix.com>
Wed, 4 May 2016 10:57:31 +0000 (11:57 +0100)
commit68a003ef433fa1e1dad4dbeee33c05ef82a195d5
treeb4d30be5d3a7e73d898fa97b04c8893ddbbed571
parentb7e5aee0a36487d6205c1633add25fd430d3b6d7
Config.mk: update mini-os revision

This is only one commit:
    build: change MINI-OS_ROOT to MINIOS_ROOT

This change is required to fix stubdom build on Ubuntu 16.04.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
Config.mk