diff options
| author | Narayan Kamath <narayan@google.com> | 2014-10-03 11:57:41 +0100 |
|---|---|---|
| committer | Narayan Kamath <narayan@google.com> | 2014-10-03 13:09:50 +0100 |
| commit | 566618403d002719a94a6624a4ae032409318866 (patch) | |
| tree | 0c6449974b97b5e8c064fd473ffddbdfc9530189 /annotations/generate_annotated_java_files.py | |
| parent | d3b74a8affe39699df64469c955d0e925e1566fb (diff) | |
Make "user.home" changeable.
For backward compatibility. This property has always been
empty on android (and is documented as such).
This also includes a fix to treat setProperties(null) properly
to keep the test runners happy.
bug: 13238872
Change-Id: I5157fad30c4d07fb2baeeaf50e696fdcba5f1cdd
Diffstat (limited to 'annotations/generate_annotated_java_files.py')
0 files changed, 0 insertions, 0 deletions