diff options
author | Paul Kocialkowski <contact@paulk.fr> | 2013-10-28 17:39:57 +0100 |
---|---|---|
committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-01-02 18:00:01 +0100 |
commit | e4f78c3573ec825b7b9476b22538d172b4364bc9 (patch) | |
tree | 2c0a521a2ca4fa44c706e4338510a2382358c9f4 | |
parent | 47c6a07a2cda8bc6ff55c3b7fd9443fe53f53818 (diff) | |
download | build-e4f78c3573ec825b7b9476b22538d172b4364bc9.tar.gz build-e4f78c3573ec825b7b9476b22538d172b4364bc9.tar.bz2 build-e4f78c3573ec825b7b9476b22538d172b4364bc9.zip |
Do not use roomservice when a repository is missing
Change-Id: I867fa21cd52b1d0e0a49160b953bde3cd84b1639
Signed-off-by: Paul Kocialkowski <contact@paulk.fr>
-rw-r--r-- | envsetup.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/envsetup.sh b/envsetup.sh index 8030ce41c..cf53ec523 100644 --- a/envsetup.sh +++ b/envsetup.sh @@ -633,17 +633,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?" |