diff options
author | Tavian Barnes <tavianator@tavianator.com> | 2019-07-04 17:07:50 -0400 |
---|---|---|
committer | Tavian Barnes <tavianator@tavianator.com> | 2019-07-04 17:07:50 -0400 |
commit | d3e64d6e1f905cd67264845c38b38fc6d1bdb088 (patch) | |
tree | 52a303272ec29b520b7d9d1f0237290b1e38ab3d /tests | |
parent | 43039c98eb6bc2514434fe3b33faa3eb32e75ba3 (diff) | |
download | bfs-d3e64d6e1f905cd67264845c38b38fc6d1bdb088.tar.xz |
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
Diffstat (limited to 'tests')
-rw-r--r-- | tests/test_mount.out | 1 |
1 files changed, 0 insertions, 1 deletions
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 |