tree 1d4a72d9f0c0765142f0b80395a033086728ebea
parent c1ab82ae6b26d12cf6d5cdad1bd0ffc0d3acfb9b
author Andy McFadden <fadden@android.com> 1277409171 -0700
committer Andy McFadden <fadden@android.com> 1277409171 -0700

Ignore STAY_OFF_MY_LAWN when setting JAVA_HOME.

Don't check STAY_OFF_MY_LAWN in set_java_home.  That function already
refuses to update JAVA_HOME if it's set to something, which should
be sufficient for anybody who doesn't want the script to mess with it.

With this change, you can get the benefits of the 1.5/1.6 auto-selection
without having to suffer through window title changes.

Change-Id: I5cfc5d6fdf26a10b42b52925f877012c0506b9a5