diff options
| author | 2019-03-13 12:27:07 -0700 | |
|---|---|---|
| committer | 2019-03-18 11:48:03 -0700 | |
| commit | 889b1f7c0ce3ba567ee7696f01e1b36512c10f39 (patch) | |
| tree | 2c88d170c497b9c8cb26aa641155a380b05028ec /tools/warn/java_warn_patterns.py | |
| parent | e7854a3745cba1b6ae9da7c12b6ba8bc2be77279 (diff) | |
Allow disabling building super partition for DAP devices
Previously:
if (DAP && !BUILD_SUPER) error;
Now:
if (BUILD_SUPER && !DAP) error;
This allows DAP devices to disable building super partition when the OEM
doesn't want to. The ability to build super partition shouldn't be
a requirement of enabling DAP; rather, building super partition requires
DAP to be enabled.
To do this on a device, PRODUCT_BUILD_SUPER_PARTITION should be set
to false explicitly. If it is unset, it will use the value of
PRODUCT_USE_DYNAMIC_PARTITIONS.
Bug: 127687287
Test: set PRODUCT_BUILD_SUPER_PARTITION to false and build dist
Change-Id: I25f1866e61d73affb445c1aec042cf53aac93583
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions