diff options
| author | Jaewoong Jung <jungjw@google.com> | 2020-06-23 07:58:13 -0700 |
|---|---|---|
| committer | Jaewoong Jung <jungjw@google.com> | 2020-06-23 08:18:02 -0700 |
| commit | 433ea2321a175260969d757bc8e90547466c30d0 (patch) | |
| tree | de4ca93834594c36af8d06636dc5e9b0c7761153 /scripts/lint-project-xml.py | |
| parent | d4c3d0d162aede72ec835303dc5ce1f2b91a109f (diff) | |
Change how override_modules work with prebuilts.
If an override module is overridden by a prebuilt, only skip its
installation instead of completely ignoring it, so that other modules
rely on it can still get configured and built properly.
Fixes: 159694118
Test: m checkbuild
Change-Id: I96d24f1440ff8a8aa8b1253fc22fd532b5588339
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions