Refactor determine_directory_mode function for fuse-overlayfs compati…

…bility
sosy-lab · Sep 5, 2024 · 34f57f1 · 34f57f1
1 parent a8a3516
commit 34f57f1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/container.py b/benchexec/container.py
@@ -692,7 +692,7 @@ def determine_directory_mode(dir_modes, path, fstype=None):
         result_mode == DIR_OVERLAY
         and fstype
         and (
-            fstype.startswith(b"fuse.")
+            (fstype.startswith(b"fuse.") and fstype != b"fuse.fuse-overlayfs")
             or fstype == b"autofs"
             or fstype == b"vfat"
             or fstype == b"ntfs"