diff options
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() { |