tree 0db9bbbd354b667ae870e62014efaac1e7d09811
parent 0e63a8e76180fe7a92000b6aa3bc0d5e64e2c564
author Jaewoong Jung <jungjw@google.com> 1592924293 -0700
committer Jaewoong Jung <jungjw@google.com> 1592959813 -0700

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