diff options
| author |  Googler <noreply@google.com> | 2017-06-16 15:02:53 +0200 |
|---|---|---|
| committer |  Philipp Wollermann <philwo@google.com> | 2017-06-19 18:22:53 +0200 |
| commit | 560bcb8653947d5d38fa9710c25b7eff6596b2fc (patch) | |
| tree | 5a96b781de009901f823a668570e1e5001839a9c /src/main/java/com/google/devtools/build/lib/sandbox/SandboxActionContextProvider.java | |
| parent | c3a1af61006f081cbbf8007a4a76cf4a7e27a39c (diff) | |
ResourceFilter persists ordering of resources when filtering
Before this change, resource filtering by densities could rearrange the
ordering of resources. However, resource merging behavior is dependant on
resource ordering, so changing the order could lead to changed merge results.
Instead, ensure that the filtered resources appear in the same order as they
did in the original list of resources.
RELNOTES: none
PiperOrigin-RevId: 159219647
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/sandbox/SandboxActionContextProvider.java')
0 files changed, 0 insertions, 0 deletions