diff options
| author | Paul Kocialkowski <contact@paulk.fr> | 2013-10-28 17:39:57 +0100 |
|---|---|---|
| committer | Wolfgang Wiedmeyer <wolfgit@wiedmeyer.de> | 2015-12-15 20:19:16 +0100 |
| commit | f3c9ac3ab06913c90b98d83eca0233391c8485b5 (patch) | |
| tree | 3eedf7827975406e64704447568f8f0de41113bb /envsetup.sh | |
| parent | 81231ef72d531055ddc60897d5057023d76ee274 (diff) | |
| download | build-f3c9ac3ab06913c90b98d83eca0233391c8485b5.zip build-f3c9ac3ab06913c90b98d83eca0233391c8485b5.tar.gz build-f3c9ac3ab06913c90b98d83eca0233391c8485b5.tar.bz2 | |
Do not use roomservice when a repository is missing
Change-Id: I867fa21cd52b1d0e0a49160b953bde3cd84b1639
Signed-off-by: Paul Kocialkowski <contact@paulk.fr>
Diffstat (limited to 'envsetup.sh')
| -rw-r--r-- | envsetup.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/envsetup.sh b/envsetup.sh index cb49f2a..ce056a1 100644 --- a/envsetup.sh +++ b/envsetup.sh @@ -619,17 +619,6 @@ function lunch() check_product $product if [ $? -ne 0 ] then - # if we can't find a product, try to grab it off the CM github - T=$(gettop) - pushd $T > /dev/null - build/tools/roomservice.py $product - popd > /dev/null - check_product $product - else - build/tools/roomservice.py $product true - fi - if [ $? -ne 0 ] - then echo echo "** Don't have a product spec for: '$product'" echo "** Do you have the right repo manifest?" |