From d3e64d6e1f905cd67264845c38b38fc6d1bdb088 Mon Sep 17 00:00:00 2001 From: Tavian Barnes Date: Thu, 4 Jul 2019 17:07:50 -0400 Subject: Make -mount and -xdev do different things POSIX now says -mount should skip the whole mount point, while -xdev should only skip its descendents. C.f. http://austingroupbugs.net/view.php?id=1133 C.f. https://savannah.gnu.org/bugs/?42318 C.f. https://savannah.gnu.org/bugs/?54745 --- tests/test_mount.out | 1 - 1 file changed, 1 deletion(-) (limited to 'tests') diff --git a/tests/test_mount.out b/tests/test_mount.out index 005bdcf..2425675 100644 --- a/tests/test_mount.out +++ b/tests/test_mount.out @@ -1,4 +1,3 @@ scratch scratch/foo -scratch/mnt scratch/foo/bar -- cgit v1.2.3