diff options
| author | 2020-06-22 19:54:44 +0900 | |
|---|---|---|
| committer | 2020-06-30 18:44:17 +0900 | |
| commit | 8d521ec2c8cf9bf6707c3fbf8ca6fc96868d2630 (patch) | |
| tree | f38326bf2ed0729dce009d9a92e40cff18c02a9c /tools/warn/java_warn_patterns.py | |
| parent | 8b266f16a90d072dc47415b9332782a0a86292a4 (diff) | |
ro.zygote in base_system.mk is optional
The setting of ro.zygote in base_system.mk is optional, which means the
value can be overriden by other (probably more specific) mk files.
Bug: 117892318
Bug: 158735147
Test: atest --host post_process_prop_unittest
Exempt-From-Owner-Approval: cherry-pick from master
Merged-In: Ia7a67c0a04fad343d6591417f40dd4b9ddadc5e4
(cherry picked from commit b1261aac333e9980842af1120a4af747130e9f03)
Change-Id: Ia7a67c0a04fad343d6591417f40dd4b9ddadc5e4
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions