diff options
author | Janak Ramakrishnan <janakr@google.com> | 2016-03-11 18:40:28 +0000 |
---|---|---|
committer | David Chen <dzc@google.com> | 2016-03-11 21:29:53 +0000 |
commit | 3c35021eb39218119328522acccebcfe652906a9 (patch) | |
tree | 0a082e978c026ffcbaab06c25ec772dc51f2e852 /src/main/java/com/google/devtools/build | |
parent | 06706b1bb51984c29c400c0c905d11e4ab76f752 (diff) |
Enforce the current ordering semantics for GlobFunction. These semantics are
fairly arbitrary, so future modifiers of GlobFunction can change the order if
they need to, but enforcing the order prevents non-determinism from
accidentally creeping in.
--
MOS_MIGRATED_REVID=116986512
Diffstat (limited to 'src/main/java/com/google/devtools/build')
0 files changed, 0 insertions, 0 deletions