| commit | bc2a49f24726faec8699ad2eefa73ccbdc7ff3d5 | [log] [tgz] |
|---|---|---|
| author | Dan Willemsen <dwillemsen@google.com> | Mon Aug 10 15:40:52 2015 -0700 |
| committer | Dan Willemsen <dwillemsen@google.com> | Tue Aug 11 12:27:08 2015 -0700 |
| tree | 42d5d70410af74050a3da4ba32b274708ea8e885 | |
| parent | 3d328179a17364e7bde6c496b6e99fb6601176f6 [diff] |
Don't assume ordering of $(wildcard ...) There are no guarantees on the order of the results from a call to the wildcard function. In fact, the order usually changes between make 3.81 and make 4.0 (and kati). Instead, sort the results of wildcard in each sepolicy directory, so that directory order is preserved, but content ordering is reliable. Change-Id: I1620f89bbdd2b2902f2e0c40526e893ccf5f7775