Fix git repo cache.

Change-Id: I600bd3bd398ad2ce5e403491328d630a5f11b9c8
This commit is contained in:
James E. Blair
2012-06-06 16:20:32 -07:00
parent 8bff19b160
commit 35f6dccee0
2 changed files with 7 additions and 3 deletions

View File

@@ -45,6 +45,10 @@ fi
cd $WORKSPACE
if [[ -e ~/workspace-cache/nova ]]; then
mv ~/workspace-cache/* $WORKSPACE/
fi
ORIGINAL_GERRIT_PROJECT=GERRIT_PROJECT
ORIGINAL_GERRIT_BRANCH=GERRIT_BRANCH

View File

@@ -176,12 +176,12 @@ def configure_server(server, branches):
client.ssh('download image %s' % fname,
'wget -c %s -O ~/cache/files/%s' % (url, fname))
client.ssh('clear workspace', 'rm -rf ~/workspace')
client.ssh('make workspace', 'mkdir -p ~/workspace')
client.ssh('clear workspace', 'rm -rf ~/workspace-cache')
client.ssh('make workspace', 'mkdir -p ~/workspace-cache')
for project in PROJECTS:
sp = project.split('/')[0]
client.ssh('clone %s' % project,
'cd ~/workspace && git clone https://review.openstack.org/p/%s' % project)
'cd ~/workspace-cache && git clone https://review.openstack.org/p/%s' % project)
script = os.environ.get('DEVSTACK_GATE_CUSTOM_SCRIPT', '')
if script and os.path.isfile(script):