diff options
Diffstat (limited to 'sparsify')
| -rw-r--r-- | sparsify/sparsify.ml | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/sparsify/sparsify.ml b/sparsify/sparsify.ml index 89a2c137..4782983d 100644 --- a/sparsify/sparsify.ml +++ b/sparsify/sparsify.ml @@ -177,10 +177,15 @@ let () = let filesystems = g#list_filesystems () in let filesystems = List.map fst filesystems in let filesystems = List.sort compare filesystems in + + let is_ignored fs = + let fs = canonicalize fs in + List.exists (fun fs' -> fs = canonicalize fs') ignores + in + List.iter ( fun fs -> - if not (List.mem fs ignores) then ( - + if not (is_ignored fs) then ( let mounted = try g#mount_options "" fs "/"; true with _ -> false in |