diff options
author | Chirayu Desai <cdesai@cyanogenmod.org> | 2013-06-05 20:14:33 +0530 |
---|---|---|
committer | Chirayu Desai <cdesai@cyanogenmod.org> | 2013-06-05 20:14:33 +0530 |
commit | 0b55d233936659becb56cb28d182f396fb61b81e (patch) | |
tree | 0abdb3643d76b1bf2b9699fac50af9f476a86b07 /envsetup.sh | |
parent | 3f0610384a2a32e77565b22b9e5ad479ccce8856 (diff) | |
download | build-0b55d233936659becb56cb28d182f396fb61b81e.zip build-0b55d233936659becb56cb28d182f396fb61b81e.tar.gz build-0b55d233936659becb56cb28d182f396fb61b81e.tar.bz2 |
repopick: initial commit
Change-Id: Ie42c11d335da07f6d164a0fcb887011e5fd6dcf4
Diffstat (limited to 'envsetup.sh')
-rw-r--r-- | envsetup.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/envsetup.sh b/envsetup.sh index af322c3..eed57e6 100644 --- a/envsetup.sh +++ b/envsetup.sh @@ -1839,6 +1839,11 @@ alias mmmp='dopush mmm' alias mkap='dopush mka' alias cmkap='dopush cmka' +function repopick() { + T=$(gettop) + $T/build/tools/repopick.py $@ +} + # Force JAVA_HOME to point to java 1.6 if it isn't already set function set_java_home() { |