diff options
author | Bernhard Rosenkraenzer <bernhard.rosenkranzer@linaro.org> | 2017-10-13 09:45:19 +0200 |
---|---|---|
committer | Bernhard Rosenkraenzer <bernhard.rosenkranzer@linaro.org> | 2017-10-13 09:45:59 +0200 |
commit | c641ff13a54d518b83a4082774a2134ddff27541 (patch) | |
tree | bcdb6878bc9b3fdd585fd019446486cb277a008a /functions | |
parent | 0a294dc1a1d85ebfea21c7b0b1e103d5f2a9f6d2 (diff) | |
download | android-patchsets-c641ff13a54d518b83a4082774a2134ddff27541.tar.gz |
Teach apply that platform/build and build/make are the same thing
Change-Id: Iee247dfc66613e5dfa619018339840946c5abe84
Signed-off-by: Bernhard Rosenkraenzer <bernhard.rosenkranzer@linaro.org>
Diffstat (limited to 'functions')
-rw-r--r-- | functions | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -39,6 +39,10 @@ apply() { elif echo "$1" |grep -q -e '^device/' -e '^kernel/' -e '^android/' -e '^landing-teams/'; then # device and kernel have different path on repo to projects under platform REPO="$1" + elif [ "$1" = "build/make" ]; then + # Special case -- repository location and checkout location + # don't match in upstream manifests + REPO="platform/build" else REPO="platform/$1" fi |