diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-04-25 07:29:04 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-04-25 07:29:04 +0300 |
commit | 7a79d7e9fb187f17515053f616d3eca13c9c1585 (patch) | |
tree | ca574140647f943b6149148be3b889c257f8e71d /fsmonitor.c | |
parent | beed7e22fdc81ba325c4bfaadf84d23f5c697d93 (diff) | |
parent | ca598d5f2ab988935a5b882b44122cbfa5fd99f5 (diff) |
Merge branch 'bp/fsmonitor-prime-index'
The index file is updated to record the fsmonitor section after a
full scan was made, to avoid wasting the effort that has already
spent.
* bp/fsmonitor-prime-index:
fsmonitor: force index write after full scan
Diffstat (limited to 'fsmonitor.c')
-rw-r--r-- | fsmonitor.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/fsmonitor.c b/fsmonitor.c index eb4e642256..ed3d1a074d 100644 --- a/fsmonitor.c +++ b/fsmonitor.c @@ -185,6 +185,9 @@ void refresh_fsmonitor(struct index_state *istate) for (i = 0; i < istate->cache_nr; i++) istate->cache[i]->ce_flags &= ~CE_FSMONITOR_VALID; + /* If we're going to check every file, ensure we save the results */ + istate->cache_changed |= FSMONITOR_CHANGED; + if (istate->untracked) istate->untracked->use_fsmonitor = 0; } |