XXX need to use the actual tree url and name, currently using
stubdom.git.
Signed-off-by: Wei Liu <wei.liu2@citrix.com>
: ${PUSH_TREE_LIBVIRT:=$XENBITS:/home/xen/git/libvirt.git}
: ${BASE_TREE_LIBVIRT:=git://xenbits.xen.org/libvirt.git}
+: ${TREE_STUBDOM:=git://xenbits.xen.org/stubdom.git}
+: ${TREEVCS_STUBDOM:=git}
+: ${BASE_TREE_STUBDOM:=git://xenbits.xen.org/stubdom.git}
+: ${PUSH_TREE_STUBDOM:=$XENBITS:/home/xen/git/stubdom.git}
+
: ${TREE_RUMPUSERXEN:=https://github.com/rumpkernel/rumprun-xen}
: ${TREEVCS_RUMPUSERXEN:=git}
: ${BASE_TREE_RUMPUSERXEN:=git://xenbits.xen.org/rumpuser-xen.git}