diff options
| author | 2020-06-23 07:58:13 -0700 | |
|---|---|---|
| committer | 2020-06-23 17:50:13 -0700 | |
| commit | 1e362dade7964240e69889652a8f4ebf82ec9492 (patch) | |
| tree | 0db9bbbd354b667ae870e62014efaac1e7d09811 /java/jacoco.go | |
| parent | 0e63a8e76180fe7a92000b6aa3bc0d5e64e2c564 (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
Merged-In: I96d24f1440ff8a8aa8b1253fc22fd532b5588339
Change-Id: I96d24f1440ff8a8aa8b1253fc22fd532b5588339
Diffstat (limited to 'java/jacoco.go')
0 files changed, 0 insertions, 0 deletions