diff options
| author |  ulfjack <ulfjack@google.com> | 2017-05-09 07:45:40 -0400 |
|---|---|---|
| committer |  Kristina Chodorow <kchodorow@google.com> | 2017-05-09 10:54:40 -0400 |
| commit | 4f647e859203dc3a2f26ab088b95ef1a58c2e3ea (patch) | |
| tree | 1a294425e7e9fe22f1182e1478c28610abe99553 /src/main/java/com/google/devtools/build/lib/unix | |
| parent | 200479a92d20cff54bffff24b1633288e38f3ca3 (diff) | |
Change FileContentsProxy to use ctime instead of mtime
This gives us better reliability for detecting file changes; especially in
cases where tools intentionally do not update mtime.
Fixes #1525.
PiperOrigin-RevId: 155490849
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/unix')
0 files changed, 0 insertions, 0 deletions