debuggers.hg

changeset 21157:986d3b1d30fb

Update git clone command

When cloning the kernel repo:
1. make remote called "xen" rather than the default "origin"
2. directly checkout the desired branch in one step

Signed-off-by: Jeremy Fitzhardinge<jeremy.fitzhardinge@citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Wed Apr 07 08:14:34 2010 +0100 (2010-04-07)
parents d791173ca65b
children f46055ab176a
files buildconfigs/src.git-clone
line diff
     1.1 --- a/buildconfigs/src.git-clone	Wed Apr 07 08:13:20 2010 +0100
     1.2 +++ b/buildconfigs/src.git-clone	Wed Apr 07 08:14:34 2010 +0100
     1.3 @@ -23,9 +23,7 @@ XEN_LINUX_GITREV  ?=
     1.4  	if ! [ -d $(LINUX_SRCDIR) ]; then \
     1.5  		rm -rf $(LINUX_SRCDIR) $(LINUX_SRCDIR).tmp; \
     1.6  		mkdir $(LINUX_SRCDIR).tmp; rmdir $(LINUX_SRCDIR).tmp; \
     1.7 -		$(GIT) clone $(XEN_LINUX_GIT_URL) $(LINUX_SRCDIR).tmp; \
     1.8 -		cd $(LINUX_SRCDIR).tmp; \
     1.9 -		$(GIT) checkout $(XEN_LINUX_GIT_REMOTEBRANCH); \
    1.10 -		cd ..; mv $(LINUX_SRCDIR).tmp $(LINUX_SRCDIR); \
    1.11 +		$(GIT) clone -o xen -b $(XEN_LINUX_GIT_REMOTEBRANCH) $(XEN_LINUX_GIT_URL) $(LINUX_SRCDIR).tmp; \
    1.12 +		mv $(LINUX_SRCDIR).tmp $(LINUX_SRCDIR); \
    1.13  	fi
    1.14  	touch $@