diff options
author | Mark Schaller <mschaller@google.com> | 2015-11-24 15:45:40 +0000 |
---|---|---|
committer | Philipp Wollermann <philwo@google.com> | 2015-11-25 10:00:13 +0000 |
commit | c6ed6136c563f9836670ff740388e7b6fcdf8c83 (patch) | |
tree | 41d1cab3d0598ff72a7ad82fa0ca358cd5849a5a /BUILD | |
parent | 5b3290016a29fa2cf01a68cd0025d8982a432882 (diff) |
Make support for interruptibility optional during dirtying
Reduces the amount of work needed when interruptibility isn't needed.
--
MOS_MIGRATED_REVID=108611609
Diffstat (limited to 'BUILD')
0 files changed, 0 insertions, 0 deletions