runtest: ignore Emacs lock files (.#XXX)

EasyCrypt · Jan 15, 2025 · a3708cd · a3708cd
1 parent dd06d28
commit a3708cd
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/testing/runtest b/scripts/testing/runtest
@@ -362,6 +362,7 @@ class Gather:
                         aout.extend([os.path.join(root, x) for x in dnames])
                 else:
                     aout.extend(glob.glob(x))
+                aout = [x for x in aout if not x.startswith('.#')]
                 return aout
 
             dirs = [for1(x) for x in re.split(r'\s+', dirs)]