From 8339c1f95ec5e0923673e0c27d6842ff5d9838c0 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Date: Tue, 27 Feb 2018 16:54:06 +0100
Subject: Fix #6751 trust_file_cache logic was inverted

Bug introduced by 675a1dc401eb9a5540ba5bc9a522c1f84d4c3d54
---
 lib/system.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/system.ml b/lib/system.ml
index e56736eb1..0ad86c73f 100644
--- a/lib/system.ml
+++ b/lib/system.ml
@@ -54,7 +54,8 @@ let make_dir_table dir =
   let filter_dotfiles s f = if f.[0] = '.' then s else StrSet.add f s in
   Array.fold_left filter_dotfiles StrSet.empty (Sys.readdir dir)
 
-let trust_file_cache = ref true
+(** Don't trust in interactive mode (the default) *)
+let trust_file_cache = ref false
 
 let exists_in_dir_respecting_case dir bf =
   let cache_dir dir =
-- 
cgit v1.2.3