Bot doesn't understand difference between project and repo checkout path

[Paul Sokolovsky]

https://android-build.linaro.org/jenkins/job/gerrit-bot_pandaboard/2/console :

+ eval cd platform/build '&&' git fetch http://review.android.git.linaro.org/p/platform/build refs/changes/57/657/1 '&&' git checkout FETCH_HEAD '&&' cd -
++ cd platform/build
/mnt/jenkins/workspace/gerrit-bot_pandaboard/build-tools/build-scripts/build-android: line 19: cd: platform/build: No such file or directory
Build step 'Execute shell' marked build as failure
Archiving artifacts
Finished: FAILURE

That's because checkout path differs from project path, and the mapping is specified in the manifest, for example "platform/build" is checked out to "build".

[Frans Gifford (fgiff)]

The code that causes this is part of a workaround:

            # repo download doesn't work from android-build. Use a workaround.
            # It's probably something to do with the mirroring we do.
            #extra_config = "repo download %s %s/%s" % (
            # rev["project"],
            # rev["number"],
            # rev["currentPatchSet"]["number"])
            extra_config += "CONFIGURATION='%s && %s && %s && %s'" % (
                "cd %s" % (rev["project"]),
                "git fetch http://%s/p/%s %s" % (self.gc.review_host,
                                           rev["project"],
                                           rev["currentPatchSet"]["ref"]),
                "git checkout FETCH_HEAD",
                "cd -")

If we can determine what causes repo download to fail, we can fix this by taking out the workaround.