From 82f3019fe9c8015ecf9a5878bf35d89cea284be4 Mon Sep 17 00:00:00 2001 From: Rafal Gwozdzinski Date: Wed, 8 Nov 2023 08:12:19 +0100 Subject: [PATCH] Move test file --- src/utils/file_cache.ml | 1 - tests/test-dirs/{ => server-tests}/cache-time.t | 2 -- 2 files changed, 3 deletions(-) rename tests/test-dirs/{ => server-tests}/cache-time.t (97%) diff --git a/src/utils/file_cache.ml b/src/utils/file_cache.ml index 75dfa0c596..1010867ced 100644 --- a/src/utils/file_cache.ml +++ b/src/utils/file_cache.ml @@ -98,7 +98,6 @@ end) = struct ) in let invalid = Hashtbl.fold add_invalid cache [] in - Logger.log_flush (); List.iter (Hashtbl.remove cache) invalid let clear () = diff --git a/tests/test-dirs/cache-time.t b/tests/test-dirs/server-tests/cache-time.t similarity index 97% rename from tests/test-dirs/cache-time.t rename to tests/test-dirs/server-tests/cache-time.t index 9f877be322..b8db763565 100644 --- a/tests/test-dirs/cache-time.t +++ b/tests/test-dirs/server-tests/cache-time.t @@ -26,8 +26,6 @@ When cache time is set to large value, we keep the cache > | tail -1 | sed 's/\ ".*\"//' keeping - $ cat merlin_logs - When cache time is set to 0, file cache gets flushed $ $MERLIN server errors -log-file merlin_logs -cache-time 0 \ > -filename main.ml 1> /dev/null