Re: [Xen-devel] XEN building "make world" broken?

[Ian Jackson <Ian.Jackson@xxxxxxxxxxxxx>]

Ward Vandewege writes ("Re: [Xen-devel] XEN building "make world" broken?"):
> On Fri, Feb 18, 2011 at 03:24:27PM +0000, Ian Jackson wrote:
> > This doesn't work because if the XEN_LINUX_GITREV is revision rather
> > than a branch name, some versions of git won't change HEAD to it.
> 
> I used the solution suggested at 
>   http://lists.xensource.com/archives/html/xen-users/2010-12/msg00230.html
> which fixes 'make world' for me.

Does this help ?

diff -r d210f43decdf buildconfigs/src.git-clone
--- a/buildconfigs/src.git-clone        Fri Feb 18 15:32:02 2011 +0000
+++ b/buildconfigs/src.git-clone        Fri Feb 18 15:56:10 2011 +0000
@@ -15,7 +15,7 @@ endif
 
 XEN_GIT_ORIGIN ?= xen
 
-XEN_LINUX_GIT_LOCALBRANCH ?= $(XEN_LINUX_GIT_REMOTEBRANCH)
+XEN_LINUX_GIT_LOCALBRANCH ?= dummy
 
 # Set XEN_LINUX_GITREV to update to a particlar revision.
 XEN_LINUX_GITREV  ?= $(XEN_GIT_ORIGIN)/$(XEN_LINUX_GIT_REMOTEBRANCH)

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel