diff options
author | mschaller <mschaller@google.com> | 2018-06-18 09:15:42 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-06-18 09:17:06 -0700 |
commit | 29a7e0579aa7ff3633e92c3c9de06c878b1d14c7 (patch) | |
tree | 38959c05dffac5be5d31009aef265736d02c1892 /compile.sh | |
parent | 4dd6dacf2d095ec712eeecdb3b476c851674d382 (diff) |
Permit marking dirty/changed a node more than once
This functionality will be useful for node restarting. More than one
parent node may request the restart of a shared child node, and this
should not fail.
Instead, the returned MarkedDirtyResult indicates whether the dirtying
was redundant, and the calling code can assert on that.
RELNOTES: None.
PiperOrigin-RevId: 201005663
Diffstat (limited to 'compile.sh')
0 files changed, 0 insertions, 0 deletions