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/test_user_name.out | |
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/test_user_name.out')
0 files changed, 0 insertions, 0 deletions