Merge branch 'bp/fsmonitor-prime-index'
commit7a79d7e9fb187f17515053f616d3eca13c9c1585
authorJunio C Hamano <gitster@pobox.com>
Wed, 25 Apr 2018 04:29:04 +0000 (25 13:29 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 25 Apr 2018 04:29:04 +0000 (25 13:29 +0900)
treeca574140647f943b6149148be3b889c257f8e71d
parentbeed7e22fdc81ba325c4bfaadf84d23f5c697d93
parentca598d5f2ab988935a5b882b44122cbfa5fd99f5
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
fsmonitor.c