From 8d34f0869af633d4d9fe126d41873045d5ba5662 Mon Sep 17 00:00:00 2001
From: Nick Briggs <nicholas.h.briggs@gmail.com>
Date: Sat, 13 Apr 2024 11:12:10 -0700
Subject: [PATCH] Problem with directory caching, #1661, disable until it is
 solved.

---
 src/dsk.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/dsk.c b/src/dsk.c
index 6df5c74..516c061 100644
--- a/src/dsk.c
+++ b/src/dsk.c
@@ -3082,8 +3082,11 @@ static int get_version_array(char *dir, char *file, FileName *varray, CurrentVAr
    * If the cached version array is still valid, we can return immediately.
    */
 
+#if 0
+  /* there is a (different?) problem (#1661) with the caching - disable until it's solved */
   if ((sbuf.st_mtime == cache->mtime) && strcmp(dir, cache->path) == 0
       && strcmp(lcased_file, cache->file) == 0) return(1);
+#endif
 
   errno = 0;
   TIMEOUT0(dirp = opendir(dir));