| commit | aee4daacc804bbcd1df551cc2229d12fa5c35c24 | [log] [tgz] |
|---|---|---|
| author | Joe Onorato <joeo@android.com> | Wed Jun 23 14:03:13 2010 -0700 |
| committer | Joe Onorato <joeo@android.com> | Wed Jun 23 14:03:13 2010 -0700 |
| tree | 099a36fc6353b6daf20c13738bcc737b246033ef | |
| parent | 4a1c70e53be40fd1b2c14eb7c0acc93f6df865bc [diff] [blame] |
The java version changed, and we made envsetup automatically find the right JAVA_HOME. This change forces everyone to re-source envsetup.sh Change-Id: Ieb9512d5725cca26a83debf9b0480bc20e19d5ee
diff --git a/envsetup.sh b/envsetup.sh index 7005ef6..ef731c1 100644 --- a/envsetup.sh +++ b/envsetup.sh
@@ -158,7 +158,7 @@ function set_sequence_number() { - export BUILD_ENV_SEQUENCE_NUMBER=9 + export BUILD_ENV_SEQUENCE_NUMBER=10 } function settitle()