diff options
author | Lukacs Berki <lberki@google.com> | 2015-07-30 11:45:35 +0000 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2015-07-30 15:42:58 +0000 |
commit | b4b19bcb0b7c010155b0b3f0aaa38be9dd151195 (patch) | |
tree | 1009c4a4ac7d75f7d0c2cac782bc9d723295ddeb /examples | |
parent | 6ac7bd5f917e2d32705e5990f31b015db6a251f2 (diff) |
Always re-install all native libraries on non-incremental installations.
This makes things a bit more robust.
--
MOS_MIGRATED_REVID=99464712
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions